Sciweavers

1353 search results - page 2 / 271
» Streamlined Constraint Reasoning
Sort
View
CSL
2008
Springer
15 years 1 months ago
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint
Nadia Creignou, Henning Schnoor, Ilka Schnoor
JGO
2010
115views more  JGO 2010»
14 years 10 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
15 years 24 days 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
15 years 3 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