Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.
Albert AtseriasJohannes Klaus FichteMarc ThurleyPublished in: J. Artif. Intell. Res. (2011)
Keyphrases
- clause learning
- learning algorithm
- sat solvers
- machine learning algorithms
- satisfiability problem
- random walk
- machine learning
- consequence finding
- learning problems
- orders of magnitude
- active learning
- learning process
- axis parallel rectangles
- neural network
- training data
- propositional satisfiability
- sample complexity
- theorem prover
- high resolution
- labeled data
- reinforcement learning
- artificial neural networks
- learning scheme
- search space
- learning tasks
- unit propagation
- np complete