The theory of grammar constraints

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

Volumn 4204 LNCS, Issue , 2006, Pages 530-544

  Sellmann, Meinolf ^a  

^a Brown Univerity   (United States)

Author keywords

Constraint filtering; Context free grammar constraints; Global constraints; Regular grammar constraints

Indexed keywords

ALGORITHMS; CONTEXT FREE GRAMMARS; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; LOGIC PROGRAMMING;

CONSTRAINT FILTERING; CONTEXT-FREE GRAMMAR CONSTRAINTS; GLOBAL CONSTRAINTS; REGULAR GRAMMAR CONSTRAINTS;

CONSTRAINT THEORY;

EID: 33750318735     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_38     Document Type: Conference Paper

References (11)

1. F. Bacchus and T. Walsh. Propagating Logical Combinations of Constraints. International Joint Conference on Artificial Intelligence, pp. 35-40, 2005.
2. N. Beldiceanu, M. Carlsson, T. Petit. Deriving Filtering Algorithms from Constraint Checkers. Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming, LNCS 3258, 2004.
3. C. Bessière and J-C. Régin. Local consistency on conjunctions of constraints. Workshop on Non-Binary Constraints, 1998.
4. S. Bourdais, P. Galinier, G. Pesant. HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care. International Conference on Principles and Practice of Constraint Programming, LNCS 2833:153-167, 2003.
5. N. Chomsky. Three models for the description of language. IRE Transactions on Information Theory 2:113-124, 1956.
6. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation, Addison Wesley, 1979.
7. O. Lhomme. Arc-consistency Filtering Algorithms for Logical Combinations of Constraints. International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, 2004.
8. L-M. Rousseau, G. Pesant, W-J. van Hoeve. On Global Warming: Flow Based Soft Global Constraint. Informs, p. 27, 2005.
9. G. Pesant. A Regular Language Membership Constraint for Finite Sequences of Variables. International Conference on Principles and Practice of Constraint Programming (CP), LNCS 3258:482-495, 2004.
10. G. Pesant. A Regular Language Membership Constraint for Sequences of Variables International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pp. 110-119, 2003.
11. M. Trick. A dynamic programming approach for consistency and propagation for knapsack constraints. International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 113-124, 2001.