Login / Signup
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.
Sebastian Burg
Patrick Heckeler
Stefan Huster
Hanno Eichelberger
Jörg Behrend
Jürgen Ruf
Thomas Kropf
Oliver Bringmann
Published in:
MBMV (2014)
Keyphrases
</>
sat solving
preprocessing
sat solvers
boolean satisfiability
learning algorithm
sat problem
special case
orders of magnitude
symmetry breaking
reinforcement learning
constraint satisfaction
sat encodings