From XSAT to SAT by Exhibiting Equivalencies.
Richard OstrowskiLionel ParisPublished in: ICTAI (1) (2008)
Keyphrases
- sat solvers
- sat problem
- satisfiability problem
- propositional satisfiability
- sat solving
- boolean satisfiability
- phase transition
- sat instances
- stochastic local search
- max sat
- data sets
- orders of magnitude
- constraint satisfaction
- search strategies
- search algorithm
- variable ordering
- np complete
- industrial applications
- social networks
- databases
- database