Keyphrases
- perceptron learning
- sat solvers
- satisfiability problem
- sat problem
- generalization error
- boolean satisfiability
- propositional satisfiability
- stochastic local search algorithms
- stochastic local search
- phase transition
- max sat
- pseudo boolean constraints
- sat solving
- sat instances
- radial basis function
- satisfiability testing
- neural network
- search problems
- randomly generated
- variable ordering
- sat encodings
- np complete
- learning process
- decision trees