Keyphrases
- viewpoint
- sat solvers
- satisfiability problem
- search algorithm
- search strategies
- stochastic local search algorithms
- boolean satisfiability
- propositional satisfiability
- d objects
- sat problem
- active object recognition
- genetic algorithm
- additive model
- stochastic local search
- max sat
- phase transition
- graph coloring
- variable ordering
- sat encodings
- sat solving
- pseudo boolean constraints