On good algorithms for determining unsatisfiability of propositional formulas.

John V. Franco Ramjee P. Swaminathan

Published in: Discret. Appl. Math. (2003)

Keyphrases

computational complexity
artificial intelligence
orders of magnitude
data structure
optimization problems
databases
objective function
special case
description logics
linear programming