J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503--581, 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Reasoning Tool for Timed CSP based on Constraint Solving - Jin Song Dong (Correct)
Timetabling at German Secondary Schools: - Tabu Search Versus (Correct)
Protocol Specification and Verification by Using.. - Chesani.. (2005) (Correct)
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
A Dataflow Semantics for Constraint Logic Programs - Colussi, Marchiori, Marchiori (1995) (Correct)
An Optimizing Compiler for CLP(R) - Andrew Kelly Andrew (1995) (Correct)
Solving Combinatorial Problems with a Constraint.. - Fernandez.. (2003) (Correct)
A Constraint Functional Logic Language For Solving .. - Fernandez.. (2002) (Correct)
A Generic Execution Model CLP(X) - Fernandez, Hill (1998) (Correct)
A Comparative Study of Eight Constraint Programming Languages .. - Fernandez, Hill (2000) (Correct)
Set Based Logic Programming - Blair Marek Remmel (Correct)
Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) (Correct)
The KGP Model of Agency - Kakas, Mancarella, Sadri, Stathis.. (2004) (1 citation) (Correct)
A Logic Based Approach to Interaction Design in.. - Alberti.. (2004) (1 citation) (Correct)
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
Reasoning with Constraints and Well-Founded Negation - Stolzenburg, Obst (Correct)
On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (2 citations) (Correct)
The Implementation of a System for Generation and.. - Alberti, Chesani (2004) (Correct)
Inferring Left-terminating Classes of Queries for Constraint.. - Mesnard (1996) (20 citations) (Correct)
MOBY/DC - A Tool for Model-Checking Parametric Real-Time.. - Dierks, Tapken (2003) (Correct)
CLP(χ) for Automatically Proving Program Properties - Mesnard, Hoarau, Maillard (1994) (Correct)
Cassandra: Flexible Trust Management, Applied to Electronic.. - Becker, Sewell (Correct)
Inferring and Compiling Termination for Constraint Logic.. - Ebastien Hoarau Fred (1998) (2 citations) (Correct)
Inferring and Compiling Termination for Constraint Logic.. - Ebastien Hoarau Fred (1998) (2 citations) (Correct)
First 50 documents Next 50
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