Carnegie Mellon University
Browse
Optimization Methods in Logic.pdf.pdf' (205.61 kB)

Optimization Methods in Logic

Download (205.61 kB)
journal contribution
posted on 2005-10-01, 00:00 authored 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

2005-10-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC