Domain Dependent Parameter Setting in SAT Solver Using Machine Learning Techniques.
Filip BeskydPavel SurynekPublished in: ICAART (Revised Selected Paper (2022)
Keyphrases
- domain dependent
- parameter settings
- sat solvers
- domain independent
- domain specific
- orders of magnitude
- parameter values
- sat solving
- constraint satisfaction
- search strategies
- max sat
- search space
- domain experts
- boolean satisfiability
- sat problem
- sat instances
- genetic algorithm ga
- domain knowledge
- natural language
- sat encodings
- general purpose
- machine learning
- boolean formula
- search strategy
- training data