A filtering algorithm for global sequencing constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1330, Issue , 1997, Pages 32-46

  Régin, Jean Charles ^a   Puget, Jean François ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; SILICON;

AUTOMATIC REFORMULATIONS; CAR SEQUENCING PROBLEM; FILTERING ALGORITHM; GLOBAL CARDINALITY CONSTRAINT; GLOBALITY; ORDERED SET; REAL-LIFE PROBLEMS; ROSTERING;

SIGNAL FILTERING AND PREDICTION;

EID: 84948952354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0017428     Document Type: Conference Paper

References (10)

1. [BC94] N. Beldiceanu and E. Contejean. Introducing global constraints in chip. Journal of Mathematical and Computer Modelling, 20(12):97-123, 1994.
2. [DSV88] M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving the car-sequencing problem in constraint logic programming. In ECAI'88, proceedings of the European Conference on Artificial Intelligence, pages 290-295, 1988.
3. [Mac77] A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99-118, 1977.
4. [Nui94] W.P. Nuijten. Time and Resource Constrained Scheduling: A Constraint Satisfaction Approach. PhD thesis, Eindhoven University of Technology, 1994.
5. [PL95] J-F. Puget and M. Leconte. Beyong the glass box: Constraints as objects. In John Lloyd, editor, Logic Programming, Proceedings of the 1995 International Symposium, pages 513-527. The MIT Press, Portland, Oregon, 1995.
6. [Rég94] J-C. Régin. A filtering algorithm for constraints of difference in CSPs. In AAAI-94, proceedings of the Twelth National Conference on Artificial Intelligence, pages 362-367, Seattle, Washington, 1994.
7. [Rég96] J-C. Régin. Generalized arc consistency for global cardinality constraint. In AAAI-96, proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 209-215, Portland, Oregon, 1996.
8. [Sim96] H. Simonis. Problem classification scheme for finite domain constraint solving. In CP96, Workshop on Constraint Programming Applications: An Inventory and Taxonomy, pages 1-26, Cambridge, MA, USA, 1996.
9. [Smi96] B.M. Smith. Succeed-first or fail-first: A case study in variable and value ordering. In proceedings ILOG Solver and ILOG Scheduler Second International Users' Conference, Paris, France, 1996.
10. [VDT92] P. Van Hentenryck, Y. Deville, and C.M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291-321, 1992.