Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.
Albert AtseriasJohannes Klaus FichteMarc ThurleyPublished in: SAT (2009)
Keyphrases
- clause learning
- learning algorithm
- sat solvers
- axis parallel rectangles
- satisfiability problem
- active learning
- machine learning algorithms
- machine learning
- learning problems
- search space
- random walk
- sat problem
- data sets
- training samples
- reinforcement learning
- low resolution
- supervised learning
- propositional satisfiability
- training data
- bounded treewidth
- sampling rate
- consequence finding
- training examples
- learning scheme
- learning models
- learning tasks
- back propagation
- np complete
- artificial neural networks
- data mining
- neural network