A Computational Study of Satisfiability Algorithms for Propositional Logic.

Farid Harche John N. Hooker Gerald L. Thompson

Published in: INFORMS J. Comput. (1994)

Keyphrases

propositional logic
satisfiability testing
belief revision
first order logic
propositional satisfiability
solving hard
computational complexity
orders of magnitude
possibilistic logic
quantified boolean formulae
belief change
lattice theory