Results 251 to 260 of about 1,354,069 (285)

Unordered Constraint Satisfaction Games

2012
We consider two-player constraint satisfaction games on systems of Boolean constraints, in which the players take turns in selecting one of the available variables and setting it to true or false, with the goal of maximising (for Player I) or minimising (for Player II) the number of satisfied constraints. Unlike in standard QBF-type variable assignment
Orponen Pekka, Ahlroth Lauri
openaire   +2 more sources

Fast parallel constraint satisfaction

Artificial Intelligence, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

A Synthesis of Constraint Satisfaction and Constraint Solving

2003
This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspired some constraint programming languages, it has some weaknesses that leave it not directly applicable to the study of complex constraints (including so-called global constraints) in ...
openaire   +2 more sources

Distributed constraint satisfaction with partially known constraints

Constraints, 2008
Distributed constraint satisfaction problems (DisCSPs) are composed of agents connected by constraints. The standard model for DisCSP search algorithms uses messages containing assignments of agents. It assumes that constraints are checked by one of the two agents involved in a binary constraint, hence the constraint is fully known to both agents. This
Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan   +3 more
openaire   +3 more sources

Neural networks for constraint satisfaction

Connection Science, 1993
Abstract Constraint satisfaction problems (CSPs) play a central role in the real world and in computer science. CSPs are in general NP-hard and a general deterministic polynomial time algorithm is not known. CSPs with finite domains for the variables (finite constraint satisfaction problems) are considered.
openaire   +1 more source

Constraint Satisfaction

2002
Abstract In this chapter we will introduce the notion of a constraint satisfaction problem (CSP) (Montanari 1974; Dechter and Pearl 1988; Mackworth 1992; Ladkin and Maddux 1994). We will then investigate some of the properties of CSPs, and use the CSP abstraction to represent the frequency assignment problem (FAP) in several different ...
Dave Cohen, Peter Jeavons
openaire   +1 more source

Constraint satisfaction problems

ACM SIGLOG News, 2018
In this paper we briefly survey the history of the Dichotomy Conjecture for the Constraint Satisfaction problem, that was posed 25 years ago by Feder and Vardi. We outline some of the approaches to this conjecture, and then describe an algorithm that yields an answer to the conjecture.
openaire   +3 more sources

Experiments in distributed constraint satisfaction

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93), 2002
A novel taxonomy is developed to describe solution strategies for distributed constraint satisfaction problems, and the preliminary results of computational experiments are presented.
J. T. Buchanan, Q. Y. Luo, P. G. Hendry
openaire   +2 more sources

Constraint relaxation in distributed constraint satisfaction problems

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93), 2002
The distributed constraint satisfaction problem (DCSP) formulation has recently been identified as a general framework for formalizing various distributed artifical intelligence problems. The author extends the DCSP formalization by introducing the notion of importance values of constraints.
openaire   +1 more source

SPECIFIC CONSTRAINT HANDLING IN CONSTRAINT SATISFACTION PROBLEMS

International Journal on Artificial Intelligence Tools, 1994
Abundant literatures exist on consistency techniques for solving Constraint Satisfaction Problems (CSPs). These literatures, however, focused mainly on finding efficient general techniques to achieve network consistency and to solve CSPs. So far, many techniques have been reported, e.g., node consistency, arc consistency, path consistency, k ...
openaire   +1 more source