Solving the Car-Sequencing Problem as a Non-binary CSP.
Mihaela ButaruZineb HabbasPublished in: CP (2005)
Keyphrases
- non binary
- constraint satisfaction problems
- dynamic constraint satisfaction problems
- arc consistency
- constraint satisfaction
- partial constraint satisfaction
- constraint problems
- constraint programming
- distributed constraint satisfaction problems
- backtracking algorithm
- constraint propagation
- backtracking algorithms
- binary csps
- search space
- binary representation
- np hard
- np complete
- forward checking
- constraint networks
- sat encodings
- soft constraints
- frequent pattern mining
- social networks