Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications
Artificial Intelligence - Special issue on knowledge representation
From local to global consistency
Artificial Intelligence
Effective solution of qualitative interval constraint problems
Artificial Intelligence
Backtracking techniques for the job shop scheduling constraint satisfaction problem
Artificial Intelligence - Special volume on planning and scheduling
Processing disjunctions in temporal constraint networks
Artificial Intelligence
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Some Observations on Durations, Scheduling and Allen's Algebra
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
We describe a restriction of Dechter, Meiri and Pearl‘sTCSPs (Temporal Constraint Satisfaction Problems) sufficientlyexpressive to represent any job shop scheduling problem. A solverbased on the restriction is then described, which is similarto Ladkin and Reinefeld‘s qualitative interval network solver;except, however, that the filtering method used during the searchis not path consistency but either ULT (Upper-Lower Tightening)or LPC (Loose Path- Consistency), which are both less effectivebut have the advantage of getting rid of the so-called ’’fragmentationproblem‘‘.