Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.
Albert AtseriasJohannes Klaus FichteMarc ThurleyPublished in: CoRR (2014)
Keyphrases
- clause learning
- learning algorithm
- sat solvers
- machine learning
- satisfiability problem
- training data
- machine learning algorithms
- sat problem
- active learning
- learning problems
- learning tasks
- orders of magnitude
- supervised learning
- high resolution
- search space
- theorem prover
- learning scheme
- propositional satisfiability
- back propagation
- learning rate
- efficient learning
- reinforcement learning
- unit propagation