Optimization Methods in Logic.pdf.pdf' (205.61 kB)
Download file

Optimization Methods in Logic

Download (205.61 kB)
journal contribution
posted on 01.10.2005, 00:00 by John N. Hooker
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.

History

Date

01/10/2005

Usage metrics

Exports