Davis-Putnam Style Rules for Deciding Property S.

Robert Cowen Adam Kolany

Published in: Fundam. Informaticae (2007)

Keyphrases

davis putnam
propositional logic
association rules
propositional satisfiability
lower bound
phase transition
satisfiability problem
tree search