Login / Signup
To Encode or to Propagate? The Best Choice for Each Constraint in SAT.
Ignasi Abío
Robert Nieuwenhuis
Albert Oliveras
Enric Rodríguez-Carbonell
Peter J. Stuckey
Published in:
CP (2013)
Keyphrases
</>
search algorithm
search strategies
boolean satisfiability
sat solvers
database
data sets
knowledge base
phase transition
satisfiability problem
penalty function
stochastic local search algorithms