Reference, Synthesis and Constraint Sat isfaction.

Luis Alberto Pineda

Published in: Comput. Graph. Forum (1992)

Keyphrases

search algorithm
satisfiability problem
sat solvers
phase transition
max sat
program synthesis
data sets
data mining
objective function
search strategies
sat problem
constraint solving
propositional satisfiability