Constraint Reasoning over Strings

This paper discusses an approach to representing and reasoning about constraints over strings. We discuss how string domains can often be concisely represented using regular languages, and how constraints over strings, and domain operations on sets of strings, can be carried out using this representation.

[1]  Patrick Prosser,et al.  HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM , 1993, Comput. Intell..

[2]  Pedro Barahona,et al.  Applying Constraint Programming to Protein Structure Determination , 1999, CP.

[3]  Nicolas Barnier,et al.  Solving the Kirkman's schoolgirl problem in a few seconds , 2002 .

[4]  Ramakrishnan Srikant,et al.  Mining sequential patterns , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[5]  David R. Gilbert,et al.  A Constraint Based Structure Description Language for Biosequences , 2001, Constraints.

[6]  Solomon W. Golomb,et al.  Backtrack Programming , 1965, JACM.

[7]  Michael L. Littman,et al.  Solving Crossword Puzzles as Probabilistic Constraint Satisfaction , 1999, AAAI/IAAI.

[8]  Bernard A. Nadel,et al.  Constraint satisfaction algorithms 1 , 1989, Comput. Intell..

[9]  M. H. van Emden,et al.  A Unified Framework for Interval Constraints and Interval Arithmetic , 1998, CP.

[10]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[11]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[12]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[13]  Edward M. Reingold,et al.  Backtrack programming techniques , 1975, CACM.

[14]  Alessandro Sperduti,et al.  Learning and Solving Soft Temporal Constraints: An Experimental Study , 2002, CP.

[15]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .

[16]  Tommy R. Jensen,et al.  Graph Coloring Problems , 1994 .

[17]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[18]  Keith Golden,et al.  Universal Quantification in a Constraint-Based Planner , 2002, AIPS.

[19]  Christian Bessiere,et al.  Arc Consistency for General Constraint Networks: Preliminary Results , 1997, IJCAI.

[20]  Michael C. Frank,et al.  Search Lessons Learned from Crossword Puzzles , 1990, AAAI.

[21]  Jeremy Frank,et al.  A Framework for Dynamic Constraint Reasoning using Procedural Constraints , 2000, ECAI.

[22]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[23]  Peter Z. Revesz.  Refining Restriction Enzyme Genome Maps , 2004, Constraints.

[24]  Arcot Rajasekar.  Applications in Constraint Logic Programming with Strings , 1994, PPCP.

[25]  Keith Golden,et al.  Automating the Processing of Earth Observation Data , 2003 .

[26]  Nicola Muscettola,et al.  Computing the Envelope for Stepwise-Constant Resource Allocations , 2002, CP.

[27]  Principles and Practice of Constraint Programming — CP98 , 1999, Lecture Notes in Computer Science.

[28]  Kyuseok Shim,et al.  SPIRIT: Sequential Pattern Mining with Regular Expression Constraints , 1999, VLDB.

[29]  Jon G. Rokne,et al.  Interval Arithmetic , 1992, Graphics Gems III.

[30]  Rolf Backofen.  Constraint Techniques for Solving the Protein Structure Prediction Problem , 1998, CP.

[31]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..