Date of Original Version
12-2008
Type
Book Chapter
Published In
Y. Crama and P. Hammer, eds., Boolean Methods and Models, Vol. 2, Cambridge University Press, December 2008.
Abstract or Table of Contents
Optimization can make at least two contributions to boolean logic. Its solution methods can address inference and satisfiability problems, and its style of analysis can reveal tractable classes of boolean problems that might otherwise have gone unnoticed.