Eric Monfroy  Home/Search
Context Related
| cwi.nl/~eric/Private/P...vext_abs.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: cwi.nl/~eric/Priva...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion or its opposite Alien Replacement and ground rewriting techniques. Semantic solvers are described in Section 5.2.2. These solvers make use of the properties of the domain or of the properties of the alien functions. 5.2. Solver extensions 187 5.2.1 Syntactical solver extensions The following transformation rules are sound in any constraint system and not only in CS + . Inter-reduction The idea of the transformation rule InterRed is to consider equations occurring in the constraint... (Update)
Cited by: More
Cooperating Constraint Solvers - Hofstedt (2000) (Correct)
A General Approach for Building Constraint Languages - Hofstedt (2002) (Correct)
Meta-S: A Strategy-oriented Meta-Solver Framework - Frank, Hofstedt, Mai (2003) (Correct)
Active bibliography (related documents): More All
0.5: An Algebraic Semantics for the LO Coordination Language - Balestreri (1998) (Correct)
0.5: Solving Systems of Linear Congruences - Andreas Dolzmann And (Correct)
0.0: Continuous First-Order Constraint Satisfaction - Stefan Ratschan Institut (2002) (Correct)
Similar documents based on text: More All
1.0: Study of the Semantics of "Real" Parallel Languages in TLA - Roegel (Correct)
0.5: Local Decomposition Algorithms - Alonso, Mora, Raimondo (1990) (Correct)
0.3: Implementing Non-Linear Constraints With Cooperative Solvers - Monfroy, Rusinowitch.. (1995) (Correct)
Related documents from co-citation: More All
7: An Architecture for Cooperating Constraint Solvers on Reals - Rueher - 1995
6: Confluency of cooperative constraint solver - Hong - 1994
4: Cooperation and Coordination of Constraint Solvers - Hofstedt - 2001
BibTeX entry: (Update)
Monfroy, E.: Solver Collaboration for Constraint Logic Programming. PhD Thesis. Centre de Recherche en Informatique de Nancy INRIA-Lorraine 1996. http://citeseer.ist.psu.edu/monfroy96solver.html More
@misc{ monfroy96solver,
author = "E. Monfroy",
title = "Solver Collaboration for Constraint Logic Programming",
text = "Monfroy, E.: Solver Collaboration for Constraint Logic Programming. PhD
Thesis. Centre de Recherche en Informatique de Nancy INRIA-Lorraine 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/monfroy96solver.html" }
Citations (may not include all citations):380 Constraint satisfaction in logic programming (context) - Van Hentenryck - 1989
287 Mathematica: A System for Doing Mathematics by Computer (context) - Wolfram - 1988
194 The formal semantics of programming languages (context) - Winskel - 1993
82 Practical Programming in Tcl and Tk (context) - Welch - 1995
68 Distributed Constraint Satisfaction for Formalizing Distribu.. - Yokoo, Durfee et al. - 1992
39 Solving polynomial systems using a branch and prune approch - Van Hentenryck, McAllester et al. - 1996
35 The Complexity of Linear Problems in Fields (context) - Weispfenning - 1988
20 Applying constraints for scheduling (context) - Wallace - 1994
2 Quantier Elimination and Decision Procedures for Valued Fiel.. (context) - Weispfenning - 1983
2 Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesi.. (context) - Winkler - 1989
1 LogicCalc: Integrating constraint programming and subde nite.. (context) - Yakhno, Petrov - 1996
1 A constraint approach to mastermind in logic programming (context) - Van Hentenryck - 1988
1 bner Bases Algorithm over K[x (context) - Winkler, Complexity et al. - 1984
1 Quantier elimination applied in simulation and scheduling (context) - Weispfenning - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~eric/Private/Publications/publications.html): More
Using Coordination For Cooperative Constraint Solving - Arbab, Monfroy (1998) (Correct)
Generating Propagation Rules for Finite Domains via.. - Ringeissen, Monfroy (Correct)
From Solver Collaboration Expressions to Communicating and.. - Monfroy (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