MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Cooperating Constraint Solvers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Confluency of Cooperative Constraint Solvers
by Hoon Hong — 1994
…Confluency of Cooperative Constraint Solvers Hoon Hong Research Institute for Symbolic…
Cited by 12 (0 self) – Add To MetaCart

Cooperating Constraint Solvers
by Petra Hofstedt — 2000 — In Sixth International Conference on Principles and Practice of Constraint Programming – CP. LNCS
…Cooperating Constraint Solvers Petra Hofstedt Department of Computer Science, Berlin University…
Cited by 4 (2 self) – Add To MetaCart

An Architecture for Cooperating Constraint Solvers on Reals
by Michel Rueher — 1995 — Constraint Programming: Basics and Trends, LNCS 910
…An Architecture for Cooperating Constraint Solvers on Reals Research Report RR 94-54 (to appear…
Cited by 18 (5 self) – Add To MetaCart

Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN
by Peter Borovansky, Carlos Castro — 1998 — Proceedings of The Second International Workshop on Rewriting Logic and its Applications, RWLW'98
…://www.elsevier.nl/locate/entcs/volume15.html 20 pages Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN…
Cited by 3 (2 self) – Add To MetaCart

Cooperation and Coordination of Constraint Solvers
by Petra Hofstedt, Technischen Universität Dresden, Fakultät Informatik, Dipl. -inform Petra Hofstedt, Betreuender Hochschullehrer, Prof Dr. -ing, Heiko Vogler, Dresden Im März — 2001
…Cooperation and Coordination of Constraint Solvers Dissertation zur Erlangung des akademischen…
Cited by 11 (8 self) – Add To MetaCart

Better Communication for Tighter Cooperation
by Petra Hofstedt — 2000 — In First Intl. Conference on Computational Logic (CL 2000), LNAI 1861
… requirements such that our overall system forms a general framework for cooperating constraint solvers. 1…
Cited by 9 (5 self) – Add To MetaCart

A modular approach to proving confluence
by Michael Marte, Michael Marte — 2001
… the confluence properties of cooperating constraint solvers. To this end, we model solvers as reductions…
Cited by 1 (1 self) – Add To MetaCart

Using Coordination For Cooperative Constraint Solving
by Farhad Arbab, Eric Monfroy — 1998 — In Proceedings of the 1998 ACM Symposium on Applied Computing; Special Track on Coordination Models, Languages and Applications (Atlanta, Georgia, February-March 1998), ACM
…: coordination model; dynamic coordination; solver collaboration language; constraint solver cooperation…
Cited by 7 (7 self) – Add To MetaCart

A Constraint Programming Approach to Portfolio Selection
by Gerhard Wetzel, Fabian Zabatta — 1998 — Proceeding of The 13th biennial European Conference on Artificial Intelligence
… programs include the use of cooperating constraint solvers and identifying appropriate search strategies…
Cited by 3 (1 self) – Add To MetaCart

Programming with the Declic Language
by Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers — 1997
… community and a fixed-point semantics for the cooperation of interval constraint solvers. A prototype has…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB