Sciweavers

1051 search results - page 57 / 211
» Foundations of Constraint Satisfaction
Sort
View
CP
2006
Springer
15 years 1 months ago
General Symmetry Breaking Constraints
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simulta...
Toby Walsh
IBERAMIA
2004
Springer
15 years 3 months ago
Constrainedness and Redundancy by Constraint Ordering
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...
Miguel A. Salido, Federico Barber
CAEPIA
2003
Springer
15 years 3 months ago
Distributed Non-binary Constraints
Nowadays many real problems can be modeled as Constraint Satisfaction Problems (CSPs). In many situations, it is desirable to be able to state both hard constraints and soft constr...
Miguel A. Salido, Federico Barber
AAAI
2012
13 years 7 days ago
A Dichotomy for 2-Constraint Forbidden CSP Patterns
Novel tractable classes of the binary CSP (constraint satisfaction problem) have recently been discovered by studying classes of instances defined by excluding subproblems descri...
Martin C. Cooper, Guillaume Escamocher
CIKM
2008
Springer
14 years 12 months ago
A SQL database system for solving constraints
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
Sebastien Siva, Lesi Wang