• No results found

Consistency in Constraint Satisfaction Problems

An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems

An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems

... known Constraint Satisfaction Problem (CSP) can be extended this way to a so called Dynamic Constraint Satisfaction Problem (DynCSP) that supports adding and removing constraints in ...Arc ...

6

Consistency and the quantified constraint satisfaction problem

Consistency and the quantified constraint satisfaction problem

... 4.6.1. Random problems. In this section I compare the new algorithms introduced in this chapter against QBF solvers and binary QCSP solvers. All these experiments use random QCSPs so I will first describe the ...

235

Tractability in Constraint Satisfaction Problems: A Survey

Tractability in Constraint Satisfaction Problems: A Survey

... local consistency in the case of the CSP and linear relaxation in the case of the VCSP, are obtained not by re- stricting the set of instances but rather by changing the problem ...of constraint ...

34

Lecture 4: Constraint Satisfaction Problems

Lecture 4: Constraint Satisfaction Problems

... Solve non-binary CSPs 2 • AC-3? Need to generalize the definition of AC and enforcement of AC • Generalized arc-consistency (GAC) • A non-binary constraint is GAC iff for every value for a variable there ...

125

Lexicographically-ordered constraint satisfaction problems

Lexicographically-ordered constraint satisfaction problems

... of constraint valu- ations, an idea developed further in [3], as already ...on constraint hierarchies [17] can also be cited, since comparisons between assignments depend on the lexical ordering of the ...

30

CiteSeerX — Algorithms for Constraint-Satisfaction Problems: A Survey

CiteSeerX — Algorithms for Constraint-Satisfaction Problems: A Survey

... arc consistency because whenever a new variable is considered for instantiation, any of its values that are inconsistent with any previous instantiations cause immediate ...arc consistency than BT, as ...

13

Distributed Constraint Satisfaction Problems – Systematic Review

Distributed Constraint Satisfaction Problems – Systematic Review

... or consistency among agents. Achieving coherence or consistency is one of the main research topics in ...application problems in MAS can be formalized as distributed CSPs, by extracting the essential ...

8

Perturbed Message Passing for Constraint Satisfaction Problems

Perturbed Message Passing for Constraint Satisfaction Problems

... combinatorial problems (Mitchell et ...combinatorial problems, which decompose to pairwise (or higher order) interactions, allowing for a graphical representation in the form of a ...provide ...

26

On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems

On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems

... Arc Consistency”, (Sabin and Freuder 1994)) turn out to be very efficient in practice on a wide range of practical ...the constraint network, for instance tree-structured networks (Freuder 1982) or more ...

7

Disjunction of Non-Binary and Numeric Constraint Satisfaction Problems

Disjunction of Non-Binary and Numeric Constraint Satisfaction Problems

... the Constraint Ordering Algorithm (COA) to classify the most restricted constraints first, reducing the temporal complexity ...the consistency study with the resultant problem as a classic CSP ...

14

Empirical evaluation of Soft Arc Consistency algorithms for solving Constraint Optimization Problems

Empirical evaluation of Soft Arc Consistency algorithms for solving Constraint Optimization Problems

... Constraint satisfaction problems (CSPs) and constraint optimization problems (COPs) include many real-world applications in machine vision, belief maintenance, scheduling, and ...

102

Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns

Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns

... Replaceability is a form of generalized substitutability whose features make it potentially of great importance for problem simplification. It differs from simple substitutability in that it only requires that ...

13

POLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with and

POLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with and

... The problems generated and solved in the lower window of ...(≤) constraint. Finally, this screen displays the consistency problem and the total CPU ...

14

Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map

Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map

... solver. Consistency checking (CO) is used to know if selected actions can lead to an admissible plan, and model extraction (MX) to order actions and/or fix their start ...

9

An Efficient Consistency Algorithm for the Temporal Constraint Satisfaction Problem

An Efficient Consistency Algorithm for the Temporal Constraint Satisfaction Problem

... Keywords: Constraint temporal networks, consistency algorithm ...study constraint propagation in net- works of metric temporal constraints, which are an es- sential tool for building systems that ...

10

Y. Xiang, Constraint Satisfaction Problems

Y. Xiang, Constraint Satisfaction Problems

... • In a primal graph, each node represents a variable and each link connects two constrained variables. – Ex Map coloring. • In a dual graph, each node (drawn as a cluster) is labeled by the scope of a constraint. ...

13

Visualization for Structured Constraint Satisfaction Problems

Visualization for Structured Constraint Satisfaction Problems

... composed problems were designed and gen- erated to mislead traditional variable-ordering heuristics, such as MinDomDeg, to the loose central component, al- though the actual contention is in the tight ...driverlog ...

8

Parameterized Constraint Satisfaction Problems: a Survey

Parameterized Constraint Satisfaction Problems: a Survey

... 6 |C 0 | + k as |C 0 | = |Π| · |C|. J r-Linear Ordering (r ≥ 2) can be defined as follows. An instance of such a problem consists of a set of variables V and a multiset of constraints, which are ordered r-tuples of ...

25

Complexity Analysis of Mixed Constraint Satisfaction Problems

Complexity Analysis of Mixed Constraint Satisfaction Problems

... Introduction Constraint satisfaction problem (CSP) is originated from artificial ...of problems restricting the development of computer science, automatic control, system engineering and other ...

11

Partial Constraint Satisfaction of Disjunctive Temporal Problems

Partial Constraint Satisfaction of Disjunctive Temporal Problems

... total constraint satisfaction on the DTP, using all the pruning techniques discussed in this ...of constraint violations within the tree rather than the depth of the tree ...total constraint ...

6

Show all 10000 documents...

Related subjects