SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.
Gilles AudemardLoïc PaulevéLaurent SimonPublished in: SAT (2020)
Keyphrases
- sat solvers
- community driven
- propositional satisfiability
- orders of magnitude
- sat solving
- sat problem
- max sat
- boolean satisfiability
- constraint satisfaction
- search strategies
- sat instances
- search space
- ontology matching
- sat encodings
- ontology construction
- digital libraries
- industrial applications
- boolean formula
- lower bound
- np complete
- optimal solution