CP
2005
Springer
14 years 1 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
CP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Many problems in chemistry, robotics or molecular biology can be expressed as a Distance CSP4 . In this paper, we propose a specific methodology for tackling uncertainties in this...
CP
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Conditional symmetry arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Typically...
CP
2005
Springer
14 years 1 months ago
2005
Springer
CP
2005
Springer
14 years 1 months ago
2005
Springer
CP
2005
Springer
14 years 1 months ago
2005
Springer
CP
2005
Springer
14 years 1 months ago
2005
Springer