The Phase Transition Behaviour of Non-binary Forward Checking Algorithms.
Mihaela ButaruZineb HabbasPublished in: Stud. Inform. Univ. (2008)
Keyphrases
- forward checking
- non binary
- phase transition
- random instances
- constraint satisfaction
- constraint satisfaction problems
- arc consistency
- hard problems
- orders of magnitude
- satisfiability problem
- combinatorial problems
- randomly generated
- computational complexity
- data structure
- variable ordering
- lower bound
- constraint propagation
- constraint programming
- search problems
- metaheuristic
- random graphs
- sat instances
- np complete
- np complete problems
- worst case
- data mining
- maintaining arc consistency