A Theory-Based Decision Heuristic for DPLL(T).

Dan Goldwasser Ofer Strichman Shai Fine

Published in: FMCAD (2008)

Keyphrases

decision making
decision theory
search algorithm
propositional logic
decision makers
general theory
influence diagrams
theoretical framework
np complete
computational model
decision rules
sat solvers
dynamic programming
theoretical basis
optimal solution
decision model
genetic algorithm