A Transformational Decision Procedure for Non-Clausal Propositional Formulas

Alexander Sakharov

Published in: CoRR (2003)

Keyphrases

propositional formulas
propositional logic
decision makers
decision making
expert systems
knowledge based systems
decision problems
constraint propagation
database systems
search space
knowledge compilation