Results 1  10
of
76
An OpenEnded Finite Domain Constraint Solver
, 1997
"... We describe the design and implementation of a finite domain constraint solver embedded in a Prolog system using an extended unification mechanism via attributed variables as a generic constraint interface. The solver is essentially a scheduler for indexicals, i.e. reactive functional rules encodin ..."
Abstract

Cited by 155 (6 self)
 Add to MetaCart
We describe the design and implementation of a finite domain constraint solver embedded in a Prolog system using an extended unification mechanism via attributed variables as a generic constraint interface. The solver is essentially a scheduler for indexicals, i.e. reactive functional rules encoding local consistency methods performing incremental constraint solving or entailment checking, and global constraints, i.e. general propagators which may use specialized algorithms to achieve a higher degree of consistency or better time and space complexity. The solver has an openended design: the user can introduce new constraints, either in terms of indexicals by writing rules in a functional notation, or as global constraints via a Prolog programming interface. Constraints defined in terms of indexicals can be linked to 0/1variables modeling entailment; thus indexicals are used for constraint solving as well as for entailment testing. Constraints can be arbitrarily combined using the ...
Interval propagation to reason about sets: definition and implementation of a practical language
 CONSTRAINTS
, 1997
"... Local consistency techniques have been introduced in logic programming in order to extend the application domain of logic programming languages. The existing languages based on these techniques consider arithmetic constraints applied to variables ranging over nite integer domains. This makes difficu ..."
Abstract

Cited by 102 (5 self)
 Add to MetaCart
Local consistency techniques have been introduced in logic programming in order to extend the application domain of logic programming languages. The existing languages based on these techniques consider arithmetic constraints applied to variables ranging over nite integer domains. This makes difficult a natural and concise modelling as well as an efficient solving of a class of NPcomplete combinatorial search problems dealing with sets. To overcome these problems, we propose a solution which consists in extending the notion of integer domains to that of set domains (sets of sets). We specify a set domain by an interval whose lower and upper bounds are known sets, ordered by set inclusion. We define the formal and practical framework of a new constraint logic programming language over set domains, called Conjunto. Conjunto comprises the usual set operation symbols ([ � \ � n), and the set inclusion relation (). Set expressions built using the operation symbols are interpreted as relations (s [ s1 = s2,...). In addition, Conjunto provides us with a set of constraints called graduated constraints (e.g. the set cardinality) which map sets onto arithmetic terms. This allows us to handle optimization problems by applying a cost function to the quantifiable, i.e., arithmetic, terms which are associated to set terms. The constraint solving in Conjunto is based on local consistency techniques using interval reasoning which are extended to handle set constraints. The main contribution of this paper concerns the formal definition of the language and its design and implementation as a practical language.
Increasing Constraint Propagation by Redundant Modeling: an Experience Report
 CONSTRAINTS
, 1999
"... This paper describes our experience with a simple modeling and programming approach for increasing the amount of constraint propagation in the constraint solving process. The idea, although similar to redundant constraints, is based on the concept of redundant modeling. We introduce the notions of ..."
Abstract

Cited by 68 (8 self)
 Add to MetaCart
This paper describes our experience with a simple modeling and programming approach for increasing the amount of constraint propagation in the constraint solving process. The idea, although similar to redundant constraints, is based on the concept of redundant modeling. We introduce the notions of CSP model and model redundancy, and show how mutually redundant models can be combined and connected using channeling constraints. The combined model contains the mutually redundant models as submodels. Channeling constraints allow the submodels to cooperate during constraint solving by propagating constraints freely amongst the submodels. This extra level of pruning and propagation activities becomes the source of execution speedup. We perform two case studies to evaluate the effectiveness and efficiency of our method. The first case study is based on the simple and wellknown nqueens problem, while the second case study applies our method in the design and construction of a reallife ...
The Complexity of Global Constraints
, 2004
"... We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the same tools of computational complexity can be used in the design and analysis of specific global constraints. In particular ..."
Abstract

Cited by 67 (26 self)
 Add to MetaCart
We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the same tools of computational complexity can be used in the design and analysis of specific global constraints. In particular, we illustrate how computational complexity can be used to determine when a lesser level of local consistency should be enforced, when decomposing constraints will lose pruning, and when combining constraints is tractable. We also show how the same tools can be used to study symmetry breaking, metaconstraints like the cardinality constraint, and learning nogoods.
Specific Filtering Algorithms for OverConstrained Problems
, 2001
"... In recent years, many constraintspecific filtering algorithms have been introduced. Such algorithms use the semantics of the constraint to perform filtering more eciently than a generic algorithm. The usefulness of such methods has been widely proven for solving constraint satisfaction problems. In ..."
Abstract

Cited by 42 (10 self)
 Add to MetaCart
In recent years, many constraintspecific filtering algorithms have been introduced. Such algorithms use the semantics of the constraint to perform filtering more eciently than a generic algorithm. The usefulness of such methods has been widely proven for solving constraint satisfaction problems. In this paper, we extend this concept to overconstrained problems by associating specific filtering algorithms with constraints that may be violated. We present a paradigm that places no restrictions on the constraint filtering algorithms used. We illustrate our method with a complete study of the Alldifferent constraint.
Deriving Filtering Algorithms from Constraint Checkers
 Principles and Practice of Constraint Programming (CP’2004), volume 3258 of LNCS
, 2004
"... Abstract. This reportdeals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in ¦ , where ¦ is the number of variables of the corresponding global constraint. By reformulating the automaton as a conjunction ..."
Abstract

Cited by 39 (6 self)
 Add to MetaCart
Abstract. This reportdeals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in ¦ , where ¦ is the number of variables of the corresponding global constraint. By reformulating the automaton as a conjunction of signature and transition constraints we show how to systematically obtain a filtering algorithm. Under some restrictions on the signature and transition constraints this filtering algorithm achieves arcconsistency. An implementation based on some constraints as well as on the metaprogramming facilities of SICStus Prolog is available. For a restricted class of automata we provide a filtering algorithm for the relaxed case, where the violation cost is the minimum number of variables to unassign in order to get back to a solution. Keywords: Constraint Programming,
A Scheme for Unifying Optimization and Constraint Satisfaction Methods
, 2000
"... Optimization and constraint satisfaction methods are complementary to a large extent, and there has been much recent interest in combining them. Yet no generally accepted principle or scheme for their merger has evolved. We propose a scheme based on two fundamental dualities, the duality of search a ..."
Abstract

Cited by 32 (5 self)
 Add to MetaCart
Optimization and constraint satisfaction methods are complementary to a large extent, and there has been much recent interest in combining them. Yet no generally accepted principle or scheme for their merger has evolved. We propose a scheme based on two fundamental dualities, the duality of search and inference and the duality of strengthening and relaxation. Optimization as well as constraint satisfaction methods can be seen as exploiting these dualities in their respective ways. Our proposal is that rather than employ either type of method exclusively, one can focus on how these dualities can be exploited in a given problem class. The resulting algorithm is likely to contain elements from both optimization and constraint satisfaction, and perhaps new methods that belong to neither.
A Unifying Framework for Integer and Finite Domain Constraint Programming
, 1997
"... We present a unifying framework for integer linear programming and finite domain constraint programming, which is based on a distinction of primitive and nonprimitive constraints and a general notion of branchandinfer. We compare the two approaches with respect to their modeling and solving capab ..."
Abstract

Cited by 32 (2 self)
 Add to MetaCart
We present a unifying framework for integer linear programming and finite domain constraint programming, which is based on a distinction of primitive and nonprimitive constraints and a general notion of branchandinfer. We compare the two approaches with respect to their modeling and solving capabilities. We introduce symbolic constraint abstractions into integer programming. Finally, we discuss possible combinations of the two approaches.
Kakuro as a Constraint Problem
"... In this paper we describe models of the logic puzzle Kakuro as a constraint problem with finite domain variables. We show a basic model expressing the constraints of the problem and present various improvements to enhance the constraint propagation, and compare alternatives using MILP and SAT solve ..."
Abstract

Cited by 30 (1 self)
 Add to MetaCart
In this paper we describe models of the logic puzzle Kakuro as a constraint problem with finite domain variables. We show a basic model expressing the constraints of the problem and present various improvements to enhance the constraint propagation, and compare alternatives using MILP and SAT solvers. Results for different puzzle collections are given. We also propose a grading scheme predicting the difficulty of a puzzle for a human and show how problems can be tightened by removing hints.
A Global Constraint Combining a Sum Constraint and Difference Constraints
, 2000
"... This paper introduces a new method to prune the domains of the variables in constrained optimization problems where the objective function is defined by a sum y = ∑x_i , and where variables x_i are subject to difference constraints of the form x_j  x_i ≤ c. An important application area wher ..."
Abstract

Cited by 29 (2 self)
 Add to MetaCart
This paper introduces a new method to prune the domains of the variables in constrained optimization problems where the objective function is defined by a sum y = ∑x_i , and where variables x_i are subject to difference constraints of the form x_j  x_i ≤ c. An important application area where such problems occur is deterministic scheduling with the mean ow time as optimality criteria. Classical approaches perform a local consistency filtering after each reduction of the bound of y. The drawback of these approaches comes from the fact that the constraints are handled independently. We introduce here a global constraint that enables to tackle simultaneously the whole constraint system, and thus, yields a more effective pruning of the domains of the x_i when the bounds of y are reduced. An efficient algorithm, derived from Dikjstra's shortest path algorithm, is introduced to achieve interval consistency on this global constraint.