From Constraints to Finite Automata to Filtering Algorithms

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

Volumn 2986, Issue , 2004, Pages 94-108

  Carlsson, Mats ^a,c   Beldiceanu, Nicolas ^a,b  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^b CNRS   (France)

^c NONE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; SIGNAL FILTERING AND PREDICTION;

CASE-STUDIES; FILTERING ALGORITHM; LEXICOGRAPHIC ORDER; SEMI-AUTOMATICS; TIME FILTERING;

ALGORITHMS;

EID: 27244448378     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24725-8_8     Document Type: Article

References (12)

1. J.-C. Régin. A filtering algorithm for constraints of difference in CSPs. In Proc. of the National Conference on Artificial Intelligence (AAAI-94), pages 362-367, 1994.
2. J.-C. Régin. Generalized arc consistency for global cardinality constraint. In Proc. of the National Conference on Artificial Intelligence (AAAI-94), pages 209-215, 1996.
3. P. Baptiste, C. LePape, and W. Nuijten. Constraint-Based Scheduling. Kluwer Academic Publishers, 2001.
4. Alan Tucker. Applied Combinatorics. John Wiley & Sons, 4th edition, 2002.
5. Mats Carlsson and Nicolas Beldiceanu. Arc-consistency for a Chain of Lexicographic Ordering Constraints. Technical Report T2002-18, Swedish Institute of Computer Science, 2002.
6. Mats Carlsson and Nicolas Beldiceanu. Revisiting the Lexicographic Ordering Constraint. Technical Report T2002-17, Swedish Institute of Computer Science, 2002.
7. Mats Carlsson et al. SICStus Prolog User's Manual. Swedish Institute of Computer Science, 3.10 edition, January 2003. http://www.sics.se/sicstus/.
8. N. Beldiceanu and A. Aggoun. Time stamps techniques for the trailed data in CLP systems. In Actes du Séminaire 1990 - Programmation en Logique, Tregastel, France, 1990. CNET.
9. A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Global Constraints for Lexicographic Orderings. In Pascal Van Hentenryck, editor, Principles and Practice of Constraint Programming - CP'2002, volume 2470 of LNCS, pages 93-108. Springer-Verlag, 2002.
10. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications, http://www.grappa. univ-lille3.fr/tata/.
11. COSYTEC S.A. CHIP Reference Manual, version 5 edition, 1996. The sequence constraint.
12. J.-C. Régin and J. F. Puget. A filtering algorithm for global sequencing constraints. In G. Smolka, editor, Principles and Practice of Constraint Programming - CP'97, volume 1330 of LNCS, pages 32-46. Springer-Verlag, 1997.