Sign in
Laissez-Faire Caching for Parallel #SAT Solving.
Jan Burchard
Tobias Schubert
Bernd Becker
Published in:
SAT (2015)
Keyphrases
</>
sat solving
sat solvers
sat problem
boolean satisfiability
query processing
max sat
boolean optimization