Keyphrases
- sat solvers
- satisfiability problem
- sat solving
- sat problem
- propositional satisfiability
- stochastic local search
- boolean satisfiability
- phase transition
- search algorithm
- maximum weight
- max sat
- genetic algorithm
- independent set
- search strategies
- sat instances
- search procedures
- search problems
- variable ordering
- objective function
- learning algorithm
- data sets
- backtracking search
- maximal clique enumeration