Optimization Methods in Logic.pdf.pdf' (205.61 kB)
Download fileOptimization Methods in Logic
journal contribution
posted on 01.10.2005, 00:00 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.