Using Decision Procedures Efficiently for Optimization.

Matthew J. Streeter Stephen F. Smith

Published in: ICAPS (2007)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
quantified boolean formulas
temporal logic
data sets
expert systems
relational databases
cellular automata
reasoning problems