3. Propositional Logic: The General Case

  1. Vijay Chandru and
  2. John Hooker

Published Online: 30 SEP 2011

DOI: 10.1002/9781118033166.ch3

Optimization Methods for Logical Inference

Optimization Methods for Logical Inference

How to Cite

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

Publication History

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

ISBN Information

Print ISBN: 9780471570356

Online ISBN: 9781118033166

SEARCH

Keywords:

  • propositional logic;
  • branching procedure;
  • branching algorithm;
  • pigeonhole problems;
  • tableau methods

Summary

This chapter contains sections titled:

  • Two Classic Inference Methods

  • Generating Hard Problems

  • Branching Methods

  • Tableau Methods

  • Cutting Plane Methods

  • Resolution for 0-1 Inequalities

  • A Set-Covering Formulation with Facet Cuts

  • A Nonlinear Programming Approach

  • Tautology Checking in Logic Circuits

  • Inference as Projection

  • Other Approaches