711 search results - page 2 / 143 » Amalgams of Constraint Satisfaction Problems |
CEC
2009
IEEE
13 years 8 months ago
2009
IEEE
DM
2011
13 years 2 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 8 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 10 months ago
2007
AMC
2008
13 years 11 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 ...