Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results.
Kostas StergiouNikos SamarasPublished in: J. Artif. Intell. Res. (2005)
Keyphrases
- non binary
- constraint satisfaction problems
- constraint satisfaction
- backtracking algorithms
- binary representation
- arc consistency
- search space
- np complete
- constraint programming
- constraint propagation
- combinatorial problems
- frequent pattern mining
- forward checking
- sat problem
- temporal constraints
- data structure
- np hard
- backtracking search
- binary csps
- random instances
- space complexity
- heuristic search
- worst case