MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
Edward ZulkoskiVijay GaneshKrzysztof CzarneckiPublished in: IJCAI (2016)
Keyphrases
- sat solvers
- constraint satisfaction
- orders of magnitude
- computer algebra systems
- max sat
- sat solving
- boolean satisfiability
- propositional satisfiability
- search tree
- sat instances
- computer algebra
- sat problem
- search strategies
- search space
- clause learning sat solvers
- clause learning
- co occurrence
- weighted max sat
- combinatorial optimization
- sat encodings
- search algorithm
- objective function
- artificial intelligence
- genetic algorithm