Nevin Heintze Joxan Jaffar Spiro Michaylov Peter Stuckey Roland Yap IBM...  Home/Search
Context Related
| ohiostate.edu/pub/clp/pa...manual.ps.Z 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: ohiostate.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document; the book by Sterling and Shapiro [13] can serve as a suitable introductory text. Further technical information on CLP(R) is available on language design and implementation [6, 7], meta-programming [3] and delay mechanisms [8]. Additionally, much has been written about applications in electrical engineering [2], differential equations [1], options trading [10], music theory [15], molecular biology [16], etc. This document is both an introductory tutorial and reference manual... (Update)
Cited by: More
Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
Similar documents (at the sentence level):
76.3%: CLP(R) Programmer's Manual Version 1.2 - Heintze, Jaffar, Michaylov.. (1992) (Correct)
Active bibliography (related documents): More All
0.7: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
0.5: Parametric Sequence Alignment with Constraints - Yap (Correct)
0.5: A Conservative Approach to Meta-Programming in Constraint.. - Pierre Lim And (1993) (Correct)
Similar documents based on text: More All
0.1: The Semantics of Constraint Logic Programs - Jaffar, Maher, Marriott, Stuckey (1996) (Correct)
0.1: Meta-Programming in CLP(R) - Heintze, Michaylov, Stuckey, Yap (1994) (Correct)
0.1: A Methodology for Managing Hard Constraints in CLP Systems - Jaffar, Michaylov (1991) (Correct)
Related documents from co-citation: More All
6: the computational complexity and geometry of the first-order theory of the reals (context) - Renegar - 1992
4: An introduction to PROLOG-III (context) - Colmerauer - 1990
4: A theoretical evaluation of selected backtracking algorithms - Kondrak, van Beek - 1995
BibTeX entry: (Update)
N.C. Heintze, J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap. The CLPR programmer's manual version 1.2, 1992. http://citeseer.ist.psu.edu/article/heintze92clpr.html More
@article{ heintze92clpr,
author = "Nevin Heintze and Spiro Michaylov and Peter J. Stuckey",
title = "{CLP}(R) and Some Electrical Engineering Problems",
journal = "Journal of Automated Reasoning",
volume = "9",
number = "2",
pages = "231-260",
year = "1992",
url = "citeseer.ist.psu.edu/article/heintze92clpr.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
440 The Art of PROLOG (context) - Sterling, Shapiro - 1986
85 Wiley-Interscience series in discrete mathematics (context) - Schrijver, Linear et al. - 1986
66 Methodology and Implementation of a CLP System (context) - Jaffar, Michaylov - 1987
27 Efficient Implementation of a Defensible Semantics for Dynam.. (context) - Lindholm, O'Keefe - 1987
26 The CLP(R) Language and System (context) - Jaffar, Michaylov et al. - 1990
18 A Methodology for Managing Hard Constraints in CLP Systems - Jaffar, Michaylov et al. - 1991
14 Constraint Logic Programming and Options Trading (context) - Lassez, McAloon et al. - 1987
4 Implementing an ODE Solver: a CLP Approach (context) - Harland, Michaylov - 1987
4 CLP(R) and Some Electrical Engineering Problems - Heintze, Michaylov et al.
3 Incremental Linear Constraint Solving and Detection of Impli.. (context) - Stuckey
3 Projections of Polyhedral Sets (context) - Kohler - 1967
2 Restriction Site Mapping in CLP(R (context) - Yap - 1991
2 On Meta-Programming in CLP(R - Heintze, Michaylov et al. - 1989
1 Output in CLP(R (context) - Jaffar, Maher et al.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cis.ohio-state.edu.html): More
Reducing Cache Invalidation Overheads in Wormhole Routed DSMs.. - Dai, Panda (1996) (Correct)
On Meta-Programming in CLP(R) - Heintze, Michaylov, Stuckey, Yap (1989) (Correct)
Effective Use of Virtual Channels in Wormhole Routed.. - Dai, Panda (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