Spiro Michaylov  Home/Search
Context
Related
| ohiostate.edu/pub/clp/bib/clp.ps 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: --no abstract-- (Update)
Similar documents (at the sentence level):
62.3%: Constraint (Logic) Programming: A Bibliography - Jampel (1996) (Correct)
Active bibliography (related documents): More All
0.2: Logic, Optimization, and Constraint Programming - Hooker (2000) (Correct)
0.2: Boolean and Finite Domain Solvers Compared using Self.. - Fernández, Hill (Correct)
0.2: Finite Domain Solvers Compared Using Self Referential Quizzes - Fernandez, Hill (1997) (Correct)
Similar documents based on text: More All
0.4: Scheduling Abstractions for Local Search - Van Hentenryck, Michel (2004) (Correct)
0.2: Control Abstractions for Local Search - Pascal Van Hentenryck (2003) (Correct)
0.2: A Simulated Annealing Approach to - The Traveling Tournament (Correct)
BibTeX entry: (Update)
@techreport{ michaylov92constraint,
author = "Spiro Michaylov",
title = "{Constraint Logic Programming: A Bibliography}",
year = "1992",
url = "citeseer.ist.psu.edu/michaylov92constraint.html" }
Citations (may not include all citations):119 LOGIN: A logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986
71 Automated analysis of concurrent systems with the constraine.. - Avrunin, Buy et al. - 1991
37 Overview of the CHIP compiler system (context) - Aggoun, Beldiceanu - 1991
30 Constraint logic programming language CAL (context) - Aiba, Sakai et al. - 1988
24 An approach to symbolic timing verification (context) - Amon, Borriello - 1992
24 An approach to symbolic timing verification (context) - Amon, Borriello - 1992
11 Time stamps techniques for the trailed data in constraint lo.. (context) - Aggoun, Beldiceanu - 1990
10 LIFE: A natural language for natural language - Ait-Kaci, Lincoln - 1988
7 A bibliography of quantifier elimination for real closed fie.. (context) - Arnon - 1988
5 European Computer Industry Research Centre (context) - Aggoun, Dincbas et al. - 1987
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