Combining SAT Methods with Non-Clausal Decision Heuristics.

Clark W. Barrett Jacob Donham

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

preprocessing
search algorithm
computational cost
heuristic search
stochastic local search
decision making
decision makers
decision rules
machine learning methods
heuristic rules