Mats Carlsson, Greger Ottosson, Björn Carlson  Home/Search
Context Related
| cm.cf.ac.uk/User/J...p:carlsson97.ps.gz csd.uu.se/~greger/papers/plilp97.ps sics.se/pub/isl/papers/plilp97.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: cm.cf.ac.uk/User/JC.Pa...jcp.bib (more) From: sics.se/isl/papers/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We describe the design and implementation of a finite domain constraint solver embedded in a Prolog system using an extended unification mechanism via attributed variables as a generic constraint interface. The solver is essentially a scheduler for indexicals, i.e. reactive functional rules encoding local consistency methods performing incremental constraint solving or entailment checking, and global constraints, i.e. general propagators which may use specialized algorithms to achieve a... (Update)
Cited by: More
Scheduling with Soft CLP(FD) Solver - Tomas Cerny Hana (Correct)
On Visibility Problems in the Plane -- Solving Minimum - Vertex Guard Problems (Correct)
Automatic Implication Checking for CHR Constraints - Schrijvers, Demoen, Duck.. (2005) (Correct)
Active bibliography (related documents): More All
0.6: The implementation of AKL(FD) - Carlson, Carlsson, Janson (Correct)
0.3: Extending a Concurrent Constraint Language by Propagators - Müller, Würtz (Correct)
0.3: Embedding Propagators in a Concurrent Constraint Language - Müller, Würtz (1999) (Correct)
Similar documents based on text: More All
0.3: Towards an Open Finite Domain Constraint Solver - Carlsson, Carlson, Ottosson (Correct)
0.3: An Extension of Erlang with Finite Domain Constraints - Ottosson (1995) (Correct)
0.2: Compiling and Executing Disjunctions of Finite Domain.. - Carlson, Carlsson (1995) (Correct)
Related documents from co-citation: More All
8: Constraint Satisfaction in Logic Programming (context) - VanHentenryck - 1989
7: Compiling constraints in clp (context) - Codognet, Diaz - 1996
7: Foundations of Constraint Satisfaction (context) - Tsang - 1993
BibTeX entry: (Update)
Mats Carlsson, Greger Ottosson, and Bjorn Carlson. An open-ended finite domain constraint solver. In H. Glaser, P. Hartel, and H. Kucken, editors, PLILP'97, International Symposium on Programming Languages: Implementations, Logics, and Programming, number 1292 in LNCS, Southampton, September 1997. Springer. http://citeseer.ist.psu.edu/carlsson97openended.html More
@inproceedings{ carlsson97openended,
author = "Mats Carlsson and Greger Ottosson and Bj{\"o}rn Carlson",
title = "An Open-ended Finite Domain Constraint Solver",
booktitle = "Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs ({PLILP}'97)",
volume = "1292",
publisher = "Springer-Verlag, Berlin",
year = "1997",
url = "citeseer.ist.psu.edu/carlsson97openended.html" }
Citations (may not include all citations):271 The Oz programming model - Smolka - 1995
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, van Hentenryck et al. - 1988
189 Arc and path consistency revisited (context) - Mohr, Henderson - 1986
92 Reference manual (context) - Solver - 1993
89 A Minimal Extension of the WAM for CLP (context) - Diaz, Codognet - 1993
79 Model Building in Mathematical Programming (context) - Williams - 1978
69 Constraint arithmetic on real intervals - Older, Vellino - 1993
65 Improved clp scheduling with task intervals - Caseau, Laburthe - 1994
61 Extending CHIP in order to solve complex scheduling and plac.. (context) - Aggoun, Beldiceanu - 1993
61 Introducing global constraints in CHIP - Beldiceanu, Contejean - 1994
40 A theoretical and experimental comparison of constraint prop.. - Baptiste, Le Pape - 1995
31 Swedish Institute of Computer Science (context) - Carlsson, User's et al. - 1995
30 Specification of Constraint Based Inference Mechanism throug.. (context) - Holzbaur - 1990
28 The cardinality operator: a new logical connective in constr.. (context) - Van Hentenryck, Deville - 1991
28 Concurrent Constraint Programming Languages (context) - Saraswat - 1990
27 Computer Science Department (context) - Van Hentenryck, Saraswat et al. - 1991
22 Beyond the glass box: Constraints as objects - Puget, Leconte - 1995
20 implementation and evaluation of the constraint language cc (context) - Van Hentenryck, Saraswat et al. - 1995
18 A filtering algorithm for constraints of difference in CSPs (context) - R'egin - 1994
15 Entailment of finite domain constraints - Carlson, Carlsson et al. - 1994
7 A Language for Optimizing Constraint Propagation (context) - Sidebottom - 1993
5 chapter Understanding line drawings of scenes with shadows (context) - Waltz, of et al. - 1975
3 The implementation of AKL (context) - Carlson, Carlsson et al. - 1995
3 Personal Communication (context) - Wurtz - 1997
3 Enhancing the constraint-solving power of clp (context) - Codognet, Nardiello - 1995
2 Compiling and Executing Disjunctions of Finite Domain Constr.. - Carlson, Carlsson - 1995
1 European Computer Research Consortium (context) - Meier, manual et al. - 1993
1 Prolog User's Manual Version (context) - Zhou - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cm.cf.ac.uk/User/J-C.Pazzaglia/References/jcp.bib.html): More
Reconciling Agent Models - Ambite, Knoblock (Correct)
Relaxation as a Platform for Cooperative Answering - Gaasterland (1992) (Correct)
InfoSleuth: Agent-Based Semantic Integration of.. - Bayardo, Jr.. (1997) (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