Login / Signup
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.
Gilles Audemard
Loïc Paulevé
Laurent Simon
Published in:
CoRR (2020)
Keyphrases
</>
sat solvers
community driven
propositional satisfiability
orders of magnitude
sat problem
sat solving
sat instances
boolean satisfiability
constraint satisfaction
max sat
search space
search strategies
sat encodings
clause learning
weighted max sat
digital libraries
metadata
symmetry breaking
semantically enhanced