Login / Signup
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
Curtis Bright
Vijay Ganesh
Albert Heinle
Ilias S. Kotsireas
Saeed Nejati
Krzysztof Czarnecki
Published in:
SC²@SYNASC (2016)
Keyphrases
</>
satisfiability problem
sat solvers
phase transition
sat instances
boolean satisfiability
sat solving
search algorithm
theorem prover
cooperative
search strategies
neural network
evolutionary algorithm
temporal logic
randomly generated
probabilistic planning
modulo theories