research
∙
03/14/2020
Partial Queries for Constraint Acquisition
Learning constraint networks is known to require a number of membership ...
share
research
∙
12/03/2019
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints
Given, a sequence X of n variables, a time-series constraint ctr using t...
research
∙
01/18/2014
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
Designing a search heuristic for constraint programming that is reliable...
research
∙
03/19/2011
The AllDifferent Constraint with Precedences
We propose AllDiffPrecedence, a new global constraint that combines toge...
research
∙
04/15/2010
Propagating Conjunctions of AllDifferent Constraints
We study propagation algorithms for the conjunction of two AllDifferent ...
research
∙
09/24/2009
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
We propose new filtering algorithms for the SEQUENCE constraint and some...
research
∙
09/17/2009
Decomposition of the NVALUE constraint
We study decompositions of NVALUE, a global constraint that can be used ...
research
∙
05/22/2009