2. Propositional Logic: Special Cases

  1. Vijay Chandru and
  2. John Hooker

Published Online: 30 SEP 2011

DOI: 10.1002/9781118033166.ch2

Optimization Methods for Logical Inference

Optimization Methods for Logical Inference

How to Cite

Chandru, V. and Hooker, J. (1999) Propositional Logic: Special Cases, in Optimization Methods for Logical Inference, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9781118033166.ch2

Publication History

  1. Published Online: 30 SEP 2011
  2. Published Print: 16 MAR 1999

ISBN Information

Print ISBN: 9780471570356

Online ISBN: 9781118033166



  • propositional logic;
  • linear programming relaxation;
  • integer programming models;
  • horn polytopes;
  • nested clause systems


This chapter contains sections titled:

  • Basic Concepts of Propositional Logic

  • Integer Programming Models

  • Horn Polytopes

  • Quadratic and Renamable Horn Systems

  • Nested Clause Systems

  • Extended Horn Systems

  • Problems with Integral Polytopes

  • Limited Backtracking