(Enter summary)
Abstract: Introduction
Laurent Granvilliers, Eric Monfroy, and Frederic Benhamou
Institut de Recherche en Informatique de Nantes (IRIN)
Universite de Nantes
44322 Nantes cedex 3, France
E-mail: granvilliers@irin.univ-nantes.fr,
monfroy@irin.univ-nantes.fr, benhamou@irin.univ-nantes.fr
In the constraint programming community, solver cooperation is now wellknown
as a concept for improving eciency and performance of constraint
solvers. Generic solvers are generally far too inecient for solving... (Update)
Similar documents based on text: More All
0.4: Improved bounds on the complexity of kB-consistency - Bordeaux, Monfroy, Benhamou (2001)
(Correct)
0.4: Programming with the Declic Language - Benhamou, Goualard, Granvilliers (1997)
(Correct)
0.3: Implementing Non-Linear Constraints With Cooperative Solvers - Monfroy, Rusinowitch.. (1995)
(Correct)
BibTeX entry: (Update)
L. Granvilliers, E. Monfroy, and F. Benhamou. Cooperative solvers in constraint programming: A short introduction. In Workshop on Cooperative Solvers in Constraint Programming (CoSolv) at CP 2001, 2001. http://citeseer.ist.psu.edu/granvilliers01cooperative.html More
@misc{ granvilliers01cooperative,
author = "L. Granvilliers and E. Monfroy and F. Benhamou",
title = "Cooperative solvers in constraint programming: A short introduction",
text = "L. Granvilliers, E. Monfroy, and F. Benhamou. Cooperative solvers in constraint
programming: A short introduction. In Workshop on Cooperative Solvers in
Constraint Programming (CoSolv) at CP 2001, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/granvilliers01cooperative.html" }
Citations (may not include all citations):
344
Concurrent Constraint Programming (context) - Saraswat - 1993
271
The OZ programming model
- Smolka - 1995
261
An Introduction to Prolog III (context) - Colmerauer - 1990
193
Abstract Interpretation: A Uni ed Lattice Model for Static A.. (context) - Cousot, Cousot - 1977
64
Theory and practice of constraint handling rules
- uhwirth - 1998
52
The Essence of Constraint Propagation
- Apt - 1999
31
The Mozart programming system (context) - consortium - 1999
26
Heterogeneous Constraint Solving (context) - Benhamou - 1996
21
A Distributed Cooperating Constraints Solving System
- Marti, Rueher - 1995
16
obner Bases: an Algorithmic Method in Polynomial Ideal Theor.. (context) - Buchberger - 1985
13
Better communication for tighter cooperation
- Hofstedt - 2000
10
The Constraint Solver Collaboration Language of BALI
- Monfroy - 2000
8
ACM Transactions on Computational Logic (context) - Van Hentenryck - 2000
7
ECLiPSe User Manual (context) - Meier, Schimpf - 1993
5
Basic Operators for Solving Constraints via Collaboration of.. (context) - Castro, Monfroy - 1930
[Article contains additional citations not shown here]
Documents on the same site (http://www.sciences.univ-nantes.fr/info/recherche/Theme_Contraintes/cosolv/cosolv.html): More
A Framework for Cooperating Solvers - A Prototypic.. - Hofstedt, Seifert..
(Correct)
Task Structure Abstraction for Coordination - Kreuger, Aronsson, Lindblom
(Correct)
Distributed Forward Checking with Dynamic Ordering - Meisels, Razgon (2001)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC