Guiding the Search in the NO Region of the Phase Transition Problem with a Partial Subsumption Test.
Samuel WieczorekGilles BissonMirta B. GordonPublished in: ECML (2006)
Keyphrases
- phase transition
- np complete
- search algorithm
- constraint satisfaction
- satisfiability problem
- stochastic local search
- search strategy
- hard problems
- random constraint satisfaction problems
- search space
- search strategies
- randomly generated
- average degree
- sat problem
- search methods
- search procedure
- random graphs
- description logics
- np complete problems