PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation.
Chuan LuoHolger H. HoosShaowei CaiPublished in: PPSN (1) (2020)
Keyphrases
- satisfiability testing
- stochastic local search
- genetic algorithm
- satisfiability problem
- search algorithm
- search space
- programming language
- memetic algorithm
- propositional logic
- sat solving
- global search
- programming environment
- optimal solution
- feature selection
- weak learners
- combining multiple
- object oriented programming
- random sat instances
- neural network
- sat problem
- computer programming
- ensemble learning
- phase transition
- combinatorial optimization
- systematic search
- quantified boolean formulas
- multi class
- machine learning
- boosting algorithms
- constraint satisfaction