SAT, Computer Algebra, Multipliers.
Daniela RitircArmin BiereManuel KauersPublished in: Vampire (2019)
Keyphrases
- computer algebra
- sat solvers
- theorem prover
- satisfiability problem
- sat instances
- boolean satisfiability
- propositional satisfiability
- sat problem
- search algorithm
- max sat
- computer algebra systems
- stochastic local search
- lagrangian relaxation
- sat solving
- stochastic local search algorithms
- phase transition
- orders of magnitude
- automated theorem provers
- search procedures
- search strategies
- supervised learning
- search space
- neural network