MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
Edward ZulkoskiVijay GaneshKrzysztof CzarneckiPublished in: CADE (2015)
Keyphrases
- sat solvers
- constraint satisfaction
- orders of magnitude
- computer algebra systems
- sat solving
- boolean satisfiability
- propositional satisfiability
- search space
- search tree
- search strategies
- sat problem
- max sat
- clause learning sat solvers
- sat instances
- computer algebra
- clause learning
- boolean formula
- answer sets
- optimal solution
- reinforcement learning
- information retrieval