An Interval Lattice-Based Constraint Solving Framework for Lattices

We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constraint similar to the indexicals used by CLP over finite domains and on a particular definition of an interval lattice built from the computation domain. We provide the theoretical foundations for this framework, a schematic procedure for the operational semantics, and numerous examples illustrating how it can be used both over classical and new domains. We also show how lattice combinators can be used to generate new domains and hence new constraint solvers for these domains from existing domains.

• Type: Conference
• Year: 1999
• Where: FLOPS
• Authors: Antonio J. Fernández, Patricia M. Hill
• Keywords: Automated Reasoning, FLOPS 1999, Lattice Structure, Simple Generic Framework, finite Domains