To SAT or not to SAT: Ashenhurst decomposition in a large scale.
Hsuan-Po LinJie-Hong Roland JiangRuei-Rung LeePublished in: ICCAD (2008)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- stochastic local search
- boolean satisfiability
- propositional satisfiability
- real time
- max sat
- stochastic local search algorithms
- sat instances
- phase transition
- search algorithm
- real world
- real life
- sat solving
- search strategies
- lower bound
- temporal logic
- case study
- genetic algorithm
- variable ordering
- data sets