• No results found

Solving Constraint Satisfaction Problems (CSPs)

Solving Constraint Satisfaction Problems by Artificial Bee Colony with Greedy Scouts

Solving Constraint Satisfaction Problems by Artificial Bee Colony with Greedy Scouts

... Solving Constraint Satisfaction Problems by Artificial Bee Colony with Greedy Scouts ∗ Yuko Aratsu † , Kazunori Mizuno † , Hitoshi Sasaki † , Seiichi Nishihara ‡ Abstract —In this paper, we ...

6

Solving Constraint Satisfaction Problems with Networks of Spiking Neurons

Solving Constraint Satisfaction Problems with Networks of Spiking Neurons

... NP-hard constraint satisfaction problems that represent well known benchmark ...other constraint satisfaction problems that arise in the interpretation of ambiguous signals, ...

16

ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

... for solving a class of constraint satisfaction ...for solving constraint satisfaction problems that can be modeled as 2D tables, such as scheduling problems, ...

14

Solving Constraint-Satisfaction Problems with Distributed Neocortical-Like Neuronal Networks

Solving Constraint-Satisfaction Problems with Distributed Neocortical-Like Neuronal Networks

... superficial layers of neocortex. The winner-take-all modules are sparsely coupled by programming neurons that embed the constraints onto the otherwise homogeneous modular computational substrate. We show rules that embed ...

35

Solving Constraint Satisfaction Problems with Matrix Product States

Solving Constraint Satisfaction Problems with Matrix Product States

... are problems which modern classical com- puters cannot easily tackle; it is believed that quantum computation may hold the key to efficiently finding ...optimizion problems can be efficiently solved with ...

111

Solving Constraint Satisfaction Problems: Forward Checking. CSPS and Encoding 4 Queens

Solving Constraint Satisfaction Problems: Forward Checking. CSPS and Encoding 4 Queens

... choose value that rules out the smallest number of values in variables connected to the chosen variable by constraintsA. Which country should we color next E most-constrained variable [r] ...

19

Lexicographically-ordered constraint satisfaction problems

Lexicographically-ordered constraint satisfaction problems

... erence problems with hard constraints, one that combines hard constraints and preferences so the two are easily distinguished conceptually and for purposes of problem ...these problems can be solved with ...

30

Applying quantum algorithms to constraint satisfaction problems

Applying quantum algorithms to constraint satisfaction problems

... reasonably-sized problems, when compared with the best classical algorithms and taking into account realistic hardware pa- rameters and overheads for ...to problems related to simulation of quantum systems ...

30

Distributed Constraint Satisfaction Problems – Systematic Review

Distributed Constraint Satisfaction Problems – Systematic Review

... distributed constraint satisfaction has been provided, a series of algorithms that can be used in solving the DisCSP has also been described, and finally a proper comparisons of those algorithms ...

8

Perturbed Message Passing for Constraint Satisfaction Problems

Perturbed Message Passing for Constraint Satisfaction Problems

... Using decimation, or other search schemes that are guided by message passing, usually requires estimating marginals or partition functions, which is harder than producing a single solution (Valiant, 1979). This paper ...

26

Automated static symmetry breaking in constraint satisfaction problems

Automated static symmetry breaking in constraint satisfaction problems

... that constraint programming is a natural way of explaining many of the problems we ...model problems as constraint satisfaction problems and solve ...This solving process ...

141

On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems

On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems

... of solving CSPs by defining tractable ...the constraint network, for instance tree-structured networks (Freuder 1982) or more generally, networks of bounded width (Gottlob, Leone, and Scarcello ...

7

Approximate counting for complex-weighted Boolean constraint satisfaction problems

Approximate counting for complex-weighted Boolean constraint satisfaction problems

... theorem Constraint satisfaction problems (or CSPs) have been extensively studied in, for instance, artificial intelligence, database theory, graph theory, and statistical ...counting problems ...

22

CiteSeerX — Algorithms for Constraint-Satisfaction Problems: A Survey

CiteSeerX — Algorithms for Constraint-Satisfaction Problems: A Survey

... Much Constraint Propagation Is Useful? To this point, I have considered two rather different schemes for solving CSP: backtrack- ing and constraint ...of constraint propagation applied), ...

13

Complexity Analysis of Mixed Constraint Satisfaction Problems

Complexity Analysis of Mixed Constraint Satisfaction Problems

... constraints not only has accurate satisfiability phase transition phenomenon, but also can generate a large number of hard instances in the phase transition re- gion. Therefore, model RB mix is a large-domain nontrivial ...

11

Partial Constraint Satisfaction of Disjunctive Temporal Problems

Partial Constraint Satisfaction of Disjunctive Temporal Problems

... partial constraint satisfaction, 2) determine the effect of the various pruning techniques, and 3) evaluate the anytime quality of the ...the constraint width, ...random problems were gener- ...

6

An equitable approach to solving distributed constraint optimization problems

An equitable approach to solving distributed constraint optimization problems

... classic satisfaction problems, the semiring h{True, False}, ∨, ∧i is sufficient to reflect the satisfaction of the ...valued constraint optimization problems, the semiring hℜ, min, +i ...

116

Service robot planning via solving constraint satisfaction problem

Service robot planning via solving constraint satisfaction problem

... In [7, 8] a framework was developed that converts ser- vice composition tasks into planning problems expressed in PDDL. The framework will then convert the devised plan into an OWL-S composite process description. ...

17

Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP

Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP

... All problems are tested on a P-III 500 MHz Linux machine with 256 MB RAM and 512 MB swap ...for problems with f _ratio > 10 or a_ratio > 100, LDC is generally much better than ...

32

Optimal Approximation Algorithms for Reoptimization of Constraint Satisfaction Problems

Optimal Approximation Algorithms for Reoptimization of Constraint Satisfaction Problems

... Most of the CSP problems are NP-hard and so to solve them exactly in a reasonable time is hardly possible. Therefore we considered an effective approximation al- gorithm for solving such problems. ...

10

Show all 10000 documents...

Related subjects