Constraint Reasoning over Strings

This publication has 10 references indexed in Scilit:

• Mining sequential patterns
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Learning and Solving Soft Temporal Constraints: An Experimental Study
  Published by Springer Nature ,2002
• Computing the Envelope for Stepwise-Constant Resource Allocations
  Published by Springer Nature ,2002
• A Constraint Based Structure Description Language for Biosequences
  Constraints, 2001
• A Unified Framework for Interval Constraints and Interval Arithmetic
  Published by Springer Nature ,1998
• HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM
  Computational Intelligence, 1993
• Constraint satisfaction algorithms1
  Computational Intelligence, 1989
• Consistency in networks of relations
  Artificial Intelligence, 1977
• Backtrack programming techniques
  Communications of the ACM, 1975
• Backtrack Programming
  Journal of the ACM, 1965