Incremental Forward Checking for the Disjunctive Temporal Problem.
Angelo OddiAmedeo CestaPublished in: ECAI (2000)
Keyphrases
- constraint satisfaction problems
- disjunctive temporal
- forward checking
- constraint satisfaction
- arc consistency
- constraint programming
- np complete
- np hard
- combinatorial problems
- constraint propagation
- search space
- non binary
- conflict directed
- maintaining arc consistency
- constraint networks
- sat problem
- random instances
- graph coloring
- temporal reasoning
- variable ordering
- dynamic programming