Results 261 to 270 of about 5,971,608 (284)

Constraint satisfaction: the approximability of minimization problems

Proceedings of Computational Complexity. Twelfth Annual IEEE Conference, 2002
This paper continues the work initiated by N. Creignou (1995) and S. Khanna et al. (1997) who classify maximization problems derived from Boolean constraint satisfaction. We study the approximability of minimization problems derived thence. A problem in this framework is characterized by a collection F of "constraints" (i.e., functions f: {0,1}/sup k ...
Sanjeev Khanna, Madhu Sudan 0001, Luca Trevisan 0001   +2 more
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

THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA

The Bulletin of Symbolic Logic, 2015
AbstractThis paper gives a brief survey of current research on the complexity of the constraint satisfaction problem over fixed constraint languages.
openaire   +1 more source

On the Descriptive Complexity of Temporal Constraint Satisfaction Problems

Journal of the ACM, 2023
Manuel Bodirsky, Jakub Rydval
exaly  

Constraint satisfaction problems: Algorithms and applications

European Journal of Operational Research, 1999
Sally Brailsford, Barbara M Smith, Chris N Potts   +2 more
exaly  

Sharp thresholds for constraint satisfaction problems and homomorphisms

Random Structures and Algorithms, 2008
Michael Molloy
exaly  

An empirical study of phase transitions in binary constraint satisfaction problems

Artificial Intelligence, 1996
Patrick Prosser
exaly  

Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problems

Computational Intelligence, 1985
Alan Mackworth
exaly  

Quiet Planting in the Locked Constraint Satisfaction Problems

SIAM Journal on Discrete Mathematics, 2011
Florent Krzakala, Lenka Zdeborová
exaly