Sign in
A Verified SAT Solver Framework including Optimization and Partial Valuations.
Mathias Fleury
Christoph Weidenbach
Published in:
LPAR (2020)
Keyphrases
</>
sat solvers
orders of magnitude
evolutionary algorithm
constraint satisfaction
sat solving