A SAT Approach to Clique-Width.
Marijn HeuleStefan SzeiderPublished in: ACM Trans. Comput. Log. (2015)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- search algorithm
- sat solving
- search strategies
- stochastic local search
- stochastic local search algorithms
- independent set
- boolean satisfiability
- sat instances
- computational complexity
- pseudo boolean constraints
- max sat
- phase transition
- orders of magnitude
- temporal logic
- maximum clique
- constraint programming
- special case
- modulo theories