Henk Vandecasteele, Bart Demoen, Gerda Janssens  Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/p...32409.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: cs.kuleuven.ac.be/...2000E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we describe a new implementation of the Finite Domain solver ROPE [8], called MROPE II. This new version was preceded by an implementation on top of Prolog [9] and a version using an early version of Mercury [10]. In the previous implementation Mercury was chosen for its speed, compile-time checking properties and fast reliable development. This previous experiment with Mercury was already a success, still there were some problems: for an ecient execution backtrackable... (Update)
Similar documents (at the sentence level):
52.9%: MROPE II: A Finite Domain Solver on top of Mercury - Vandecasteele (1999) (Correct)
44.6%: Constraint Logic Programming: Applications and Implementation - Vandecasteele (1999) (Correct)
Active bibliography (related documents): More All
0.5: Logic Programming Approaches for Representing and Solving .. - Pelov, De Mot, Denecker (2000) (Correct)
0.3: Constraint-based Termination Analysis of Logic Programs - Decorte, De Schreye.. (1999) (Correct)
0.2: Towards memory reuse in Mercury - Mazur, Janssens, Bruynooghe (1999) (Correct)
Similar documents based on text: More All
1.0: The Use of Mercury for the Implementation of a.. - Vandecasteele.. (1996) (Correct)
0.7: Query Transformations for Improving the Efficiency of ILP.. - Costa, Srinivasan, al. (2002) (Correct)
0.7: Improving the Efficiency of Inductive Logic Programming.. - Blockeel, Dehaspe, al. (2002) (Correct)
BibTeX entry: (Update)
@inproceedings{ vandecasteele99finite,
author = "Henk Vandecasteele and Bart Demoen and Gerda Janssens",
title = "A Finite Domain {CLP} Solver on Top of Mercury",
booktitle = "New Trends in Constraints",
pages = "256-273",
year = "1999",
url = "citeseer.ist.psu.edu/457625.html" }
Citations (may not include all citations):214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
85 Compiling constraints in clp (context) - Codognet, Diaz - 1996
30 The Mercury Language Reference Manual - Henderson, Conway et al. - 1999
15 The cardinality operator: A new logical connective for const.. (context) - Van Hentenryck, Deville - 1991
10 An open-ended nite domain constraint solver - Carlsson, Ottosson et al. - 1997
4 Constraint Logic Programming: Applications and Implementatio.. - Vandecasteele - 1999
3 Implementing a nite-domain CLP-language on top of Prolog : a.. (context) - Vandecasteele, De Schreye - 1994
2 Meta-interpretation (context) - Bruynooghe, De Schreye - 1992
1 The implemenatation of mercury: an ecient declarative logic .. (context) - Somogyi, Henderson et al. - 1994
1 The use of Mercury for the implementation of a nite domain s.. (context) - Vandecasteele, Demoen et al. - 1996
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2000-E.shtml): More
An Algorithmic Approach to Recover Inconsistent Knowledge-bases - Arieli (1919) (Correct)
Reasoning with Modularly Pointwise Preferential Relations - Arieli (Correct)
Algorithms for Rewriting Aggregate Queries Using Views - Cohen, Nutt, Serebrenik (2000) (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