J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap. "The CLP(R) Language and System". ACM TOPLAS 14, 3 (July 1992), 339-395. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Hardware-Software Covalidation: Fault Models and Test Generation - Harris (Correct)
Distributed Implementation of Open Constraint Programming - Zhu (2000) (Correct)
Multi-Agent Coordination of Material Flow in a Car Plant - Baumgärtel, Bussmann.. (1997) (Correct)
Formulas as Programs - Apt, Bezem (1998) (9 citations) (Correct)
Synthesis under Local Timing Constraints in the CAMAD.. - Hallberg, Peng (1995) (3 citations) (Correct)
Validation of Synthesized Register-Transfer Level Designs.. - Naren Narasimhan Ravi (1996) (Correct)
Using a Subsumption-Based Taxonomy to Construct Networks of.. - Pierre Lim Mark (Correct)
A Generic Algorithm for CLP Analysis - Exte Nd Ed (Correct)
High-Level Synthesis under Local Timing Constraints - Hallberg (1996) (1 citation) (Correct)
Mediators: Easing the Design and Evolution of Integrated Systems - Sullivan (1994) (17 citations) (Correct)
Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
Integrating Constraints into an Imperative Programming Language - Apt, Schaerf (1998) (Correct)
An Incremental Algorithm for Satisfying Hierarchies of Multi-way, .. - Zanden (1995) (26 citations) (Correct)
Transient Analysis of Linear Circuits using Constraint Logic.. - Archana Shankar (1 citation) (Correct)
AI-Techniques in Proof Planning - Melis (1998) (2 citations) (Correct)
Integrating Pointer Variables into One-Way Constraint Models - Brad Vander Zanden (1994) (15 citations) (Correct)
Transient Analysis and Synthesis of Linear Circuits.. - Shankar, Gilbert, Jampel (Correct)
Parametric Sequence Alignment with Constraints - Yap Self-citation (Yap) (Correct)
An Architecture and Prototype Implementation of a System.. - Jaffar, Maher, Neumann (1999) Self-citation (Jaffar) (Correct)
Reactive Web Agents with Open Constraint Programming - Kenny Zhu Wee-Yeh (2001) Self-citation (Yap) (Correct)
CLP(R) Programmer's Manual Version 1.1 - Nevin Heintze Joxan (1992) (2 citations) Self-citation (Jaffar Michaylov Stuckey Yap) (Correct)
Open Constraint Programming - Joxan Jaffar Limsoon (1998) (1 citation) Self-citation (Jaffar Yap) (Correct)
A Generic Algorithm for CLP Analysis - Nevin Heintze School (1995) Self-citation (Jaffar) (Correct)
CLP(R) and Some Electrical Engineering Problems - Heintze, Michaylov, Stuckey (1991) (3 citations) Self-citation (Michaylov Stuckey) (Correct)
Beyond Finite Domains - Jaffar, Maher, Stuckey, Yap (1994) (9 citations) Self-citation (Jaffar Stuckey Yap) (Correct)
First 50 documents
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