MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
Curtis BrightVijay GaneshAlbert HeinleIlias S. KotsireasSaeed NejatiKrzysztof CzarneckiPublished in: CASC (2016)
Keyphrases
- satisfiability problem
- sat solvers
- search algorithm
- propositional satisfiability
- sat problem
- boolean satisfiability
- sat solving
- stochastic local search
- theorem prover
- search strategies
- sat instances
- max sat
- sat encodings
- pseudo boolean constraints
- computational complexity
- evolutionary algorithm
- logic programming
- multi agent
- phase transition
- variable ordering
- np complete
- stochastic local search algorithms
- covering arrays