Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou  Home/Search
Context Related
| sciences.univnant...roy_Benhamou.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sciences.univnantes.fr/...cosolv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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)
Cited by: More
Integration and Optimization of Rule-based Constraint Solvers - Abdennadher, Frühwirth (2004) (Correct)
Active bibliography (related documents): More All
0.6: Basic Components for Constraint Solver Cooperations - Monfroy, Castro (2003) (Correct)
0.3: Applying Domain Splitting to Behavior Prediction in Model-Based.. - Lunde (Correct)
0.2: A Flexible Meta-Solver Framework for Constraint Solver.. - Frank, Hofstedt, Mai (2003) (Correct)
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)
Related documents from co-citation: More All
2: Better Communication for Tighter Cooperation - Hofstedt - 2000
2: Operational equivalence of constraint handling rules (context) - Abdennadher, Fruhwirth - 1999
2: The Constraint Solver Collaboration Language of BALI - Monfroy - 1998
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
3 Symbolic-interval cooperation in constraint programming (context) - Granvilliers, Monfroy et al. - 2001
1 Cooperation of constraint solvers: Using the new process con.. - Borovansky, Castro - 1998
1 Prolog IV reference manual (context) - IV, inside - 1996
1 GMACS: the generalpurpose module architecture for building c.. (context) - Semenov, Petunin et al. - 2000
http://www.ilog.fr
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