Optimization Methods in Logic.pdf.pdf' (205.61 kB)
Download fileOptimization Methods in Logic
journal contribution
posted on 2005-10-01, 00:00 authored by John N. HookerOptimization 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.