Sciweavers

1353 search results - page 2 / 271
» Streamlined Constraint Reasoning
Sort
View
CSL
2008
Springer
13 years 7 months ago
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint
Nadia Creignou, Henning Schnoor, Ilka Schnoor
JGO
2010
115views more  JGO 2010»
13 years 3 months ago
Maximum flows and minimum cuts in the plane
A continuous maximum flow problem finds the largest t such that div v = t F(x, y) is possible with a capacity constraint (v1, v2) ≤ c(x, y). The dual problem finds a minimum ...
Gilbert Strang
UAI
2000
13 years 6 months ago
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning
We document a connection between constraint reasoning and probabilistic reasoning. We present an algorithm, called probabilistic arc consistency, which is both a generalization of...
Michael C. Horsch, William S. Havens
ECAI
2000
Springer
13 years 9 months ago
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
Ari K. Jónsson, Jeremy Frank