711 search results - page 2 / 143 » Amalgams of Constraint Satisfaction Problems |
CEC
2009
IEEE
13 years 2 months ago
2009
IEEE
DM
2011
12 years 8 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
CONSTRAINTS
2010
13 years 2 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
CONSTRAINTS
2007
13 years 4 months ago
2007
AMC
2008
13 years 4 months ago
2008
Abstract Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs). A search algorithm for constraint programming requires an order in which variables ...