In this paper, we address the task of finding the minimal network of a Temporal constraint Satisfaction Problem (TCSP).We report the integration of three approaches to improve the performance of the exponential-time b...
详细信息
A binary constraints network consists of a set of n variables, defined on domains of size at most d, and a set of e binary constraints. the binary constraint satisfaction problem consists in finding a solution for a b...
详细信息
We introduce a novel approach for symmetry breaking by dominance detection (SBDD). the essence of SBDD is to perform ‘dominance checks’ at each node in a search tree to ensure that no symmetrically equivalent node h...
详细信息
A conditional constraint satisfaction problem (CCSP) extends a standard constraint satisfaction problem (CPS) with a conditionbased component that controls what variables participate in problem solutions. CCSPs adequa...
详细信息
A constraint satisfaction problem instance consists of a collection of variables that need to have values assigned to them. the assignments are limited by constraints that force the values taken by certain collections...
详细信息
ISBN:
(纸本)3540202021
A constraint satisfaction problem instance consists of a collection of variables that need to have values assigned to them. the assignments are limited by constraints that force the values taken by certain collections of variables (the constraint scopes) to satisfy specified properties (the constraint relations). As the general CSP problem is NP-hard there has been significant effort devoted to discovering tractable subproblems of the CSP. the structure of a CSP instance is defined to be the hypergraph formed by the constraint scopes. Restricting the possible structure of the CSP instances has been a successful way of identifying tractable subproblems. the language of a CSP instance is defined to be the set of constraint relations of the instance. Restricting the language allowed for CSP instances has also yielded many interesting tractable subproblems. Almost all known tractable subproblems are either structural or relational. In this paper we construct tractable subproblems of the general CSP that are neither defined by structural nor relational properties. these new tractable classes are related to tractable languages in much the same way that general decompositions (cutset, tree-clustering, etc.) are related to acyclic decompositions. It may well be that our results will begin to make language based tractability of more practical interest. We show that our theory allows us to properly extend the binary maxclosed language based tractable class, which is maximal as a tractable binary constraint language. Our theory also explains the tractability of the constraint representation of the Stable Marriage Problem which has not been amenable to existing explanations of tractability. In fact we provide a uniform explanation for the tractability of the class of maxclosed CSPs and the SMP. there has been much work done on so called renamable HORN theories which are a tractable subproblem of SAT. It has been shown that renamable HORN theories are tractably identifiable and
Arc consistency plays a central role in solving constraint Satisfaction Problems. this is the reason why many algorithms have been proposed to establish it. Recently, an algorithm called AC2001 and AC3.1 has been inde...
详细信息
A method for finding bugs in object-oriented code is presented. It is capable of checking complex user-defined structural properties - that is, of the configuration of objects on the heap - and generates counterexampl...
详细信息
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraintprogramming languages CLP(SET) and CLP(FD). this work demonstrates that it is possible to provide effic...
详细信息
ISBN:
(纸本)9781581137057
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraintprogramming languages CLP(SET) and CLP(FD). this work demonstrates that it is possible to provide efficient executions (through CLP(FD) solvers) while maintaining the expressive power and flexibility of the CLP(SET) language. We develop a combined constraint solver and we show how static analysis can help in organizing the distribution of constraints to the two constraint solvers.
the proceedings contain 83 papers. the special focus in this conference is on Innovative Applications and Posters. the topics include: Reduced cost-based ranking for generating promising subproblems;integrating constr...
ISBN:
(纸本)3540441204
the proceedings contain 83 papers. the special focus in this conference is on Innovative Applications and Posters. the topics include: Reduced cost-based ranking for generating promising subproblems;integrating constraint and integer programming for the orthogonal latin squares problem;on optimal correction of inconsistent linear constraints;temporal planning through mixed integer programming;a new multi-resource cumulatives constraint with negative heights;global constraints for lexicographic orderings;a global filtering algorithm for handling systems of quadratic equations and inequations;amplification of search performance through randomization of heuristics;computing the envelope for stepwise-constant resource allocations;local probing applied to scheduling;recovering and exploiting structural knowledge from CNF formulas;towards a symmetric treatment of satisfaction and conflicts in quantified boolean formula evaluation;accelerating random walks;scaling and probabilistic smoothing;learning and solving soft temporal constraints;opportunistic specialization in russian doll search;range-based algorithm for max-CSP;resolution complexity of random constraints;constraint satisfaction, bounded treewidth, and finite-variable logics;determining the number of solutions to binary CSP instances;consistency checking for qualitative spatial reasoning with cardinal directions;open constraint satisfaction;arc-consistency for quantified constraints;secure distributed constraint satisfaction;partial symmetry breaking;symmetry breaking revisited;breaking row and column symmetries in matrix models;inferring constraint types in constraintprogramming;controlling embedded systems by reasoning about hidden state;the adaptive constraint engine;indexical-based solver learning;restart policies with dependence among runs and on the edge of planning and scheduling.
An unsatisfiable set of constraints is minimal if all its (strict) subsets aresatisfiable.A number of forms of error diagnosis, including circuit error diagnosis and type error diagnosis, require finding all minimal u...
详细信息
ISBN:
(纸本)9781581137057
An unsatisfiable set of constraints is minimal if all its (strict) subsets aresatisfiable.A number of forms of error diagnosis, including circuit error diagnosis and type error diagnosis, require finding all minimal unsatisfiable subsets of a given set of constraints (representing an error), in order to generate the best explanation of the error. In this paper we give algorithms for efficiently determining all minimal unsatisfiable subsets for any kind of constraints. We show how taking into account notions of independence of constraints and using incremental constraint solvers can significantly improve the calculation of these subsets.
暂无评论