A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture.
Markus KirchwegerTomás PeitlStefan SzeiderPublished in: SAT (2023)
Keyphrases
- sat solvers
- orders of magnitude
- sat solving
- constraint satisfaction
- sat problem
- boolean satisfiability
- max sat
- sat instances
- propositional satisfiability
- search strategies
- search tree
- search space
- clause learning
- search algorithm
- constraint solver
- symmetry breaking
- constraint satisfaction problems
- answer sets
- sat encodings