Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas  Home/Search
Context Related
| brown.edu/~pvh/csclp.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: brown.edu/~pvh/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Constraint logic programming (CLP) is a new class of declarative programming languages whose primitive operations are based on constraints (e.g. constraint solving and constraint entailment). CLP languages naturally combine constraint propagation with nondeterministic choices. As a consequence, they are particularly appropriate for solving a variety of combinatorial search problems, using the global search paradigm, with short development time and eciency comparable to procedural tools based on ... (Update)
Cited by: More
Improved Algorithms for the Global Cardinality Constraint - Quimper, Lopez-Ortiz.. (2004) (Correct)
Sequential Automatic Test Pattern Generation - Constraint Programming Sebastian (Correct)
An Efficient Bounds Consistency Algorithm for the.. - Quimper, van.. (2003) (Correct)
Similar documents (at the sentence level):
5.2%: Scheduling and Packing In The Constraint Language cc(FD) - Van Hentenryck (1992) (Correct)
Active bibliography (related documents): More All
1.3: A Fault Simulator in Prolog: a Software Re-engineering Experience - Lee (Correct)
1.2: Design, Implementation, and Evaluation of the.. - Van Hentenryck.. (1994) (Correct)
1.0: A Logic Language for Combinatorial Optimization - Van Hentenryck (1989) (Correct)
Similar documents based on text: More All
0.4: Constraint Logic Programming: A Bibliography - Michaylov (1992) (Correct)
0.2: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
0.2: Safe and Tight Linear Estimators - For Global Optimization (Correct)
Related documents from co-citation: More All
10: Consistency in networks of relations (context) - Mackworth - 1977
9: Constraint Satisfaction in Logic Programming (context) - VanHentenryck - 1989
7: A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
BibTeX entry: (Update)
P. Van Hentenryck, H. Simonis and M. Dincbas. Constraint Satisfaction Using Constraint Logic Programming. Artificial Intelligence no 58, pp 113-159, 1992. http://citeseer.ist.psu.edu/vanhentenryck92constraint.html More
@article{ vanhentenryck92constraint,
author = "Pascal Van Hentenryck and Helmut Simonis and Mehmet Dincbas",
title = "Constraint Satisfaction Using Constraint Logic Programming",
journal = "Artificial Intelligence",
volume = "58",
number = "1-3",
pages = "113-159",
year = "1992",
url = "citeseer.ist.psu.edu/vanhentenryck92constraint.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
702 Consistency in Networks of Relations (context) - Mackworth - 1977
402 An Analysis of Time-dependent Planning (context) - Dean, Boddy - 1988
344 Concurrent Constraint Programming (context) - Saraswat, Rinard - 1990
334 A Truth Maintenance System (context) - Doyle - 1979
307 Networks of Constraints : Fundamental Properties and Applica.. (context) - Montanari - 1974
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
261 An Introduction to Prolog III (context) - Colmerauer - 1990
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1990
221 Constraint Logic Programming (context) - Ja, J-L - 1987
216 Semantic Foundations of Concurrent Constraint Programming - Saraswat, Rinard et al. - 1991
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
189 Arc and Path Consistency Revisited (context) - Mohr, Henderson - 1986
151 Logic Semantics for a Class of Committed-Choice Programs (context) - Maher - 1987
127 SKETCHPAD: A Man-Machine Graphical Communication System (context) - Sutherland - 1963
125 An Assumption-based TMS (context) - de Kleer - 1986
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989
114 An Implicit Enumeration Algorithm to Generate Tests for Comb.. (context) - Goel - 1981
81 Solving Large Combinatorial Problems in Logic Programming (context) - Dincbas, Simonis et al. - 1990
81 Constraint-Directed Search: A Case Study of Job-Shop Schedul.. - Fox - 1983
73 Generating Semantic Descriptions from Drawings of Scenes wit.. (context) - Waltz - 1972
72 the Acceleration of Test Generation Algorithms (context) - Fujiwara, Shimono - 1983
72 ACM Transaction on Programming Languages and Systems (context) - Borning, Language et al. - 1981
59 Solving the Car Sequencing Problem in Constraint Logic Progr.. (context) - Dincbas, Simonis et al. - 1988
55 CONSTRAINTS A Language for Expressing AlmostHierarchical Des.. (context) - Sussman, Steele - 1980
49 Negation and Control in Prolog (context) - Naish - 1985
39 Increasing Tree Search Eciency for Constraint Satisfaction P.. (context) - Haralick, Elliot - 1980
38 Diagnosis of Automata Failure: A Calculus and a Method (context) - Roth - 1966
35 A Language and a Program for Stating and Solving Combinatori.. (context) - Lauriere - 1978
32 Constraint Processing in cc (context) - Van Hentenryck, Saraswat et al.
24 Accelerated ATPG and Fault Grading via Testability Analysis (context) - Brglez, Pownall et al. - 1985
23 The Back Algorithm for Sequential Test-Generation (context) - Cheng - 1988
23 Embedding Boolean Expressions into Logic Programming (context) - Buttner, Simonis - 1987
19 The Control Facilities of IC-PROLOG (context) - Clark, Cabe - 1979
18 Methodology and Implementation of a CLP System (context) - Ja, Michaylov - 1987
17 Test Generation Using the Constraint Logic Programming Langu.. (context) - Simonis - 1989
16 Job-Shop Scheduling Using Automated Reasoning: A Case Study .. (context) - Parrello, Kabat et al. - 1986
16 Metalevel Control for Logic Programs (context) - Gallaire, Lasserre - 1982
14 A Generalized Implicit Enumeration Algorithm for Graph Color.. (context) - Kubale, Jackowski - 1985
13 Logic Programming: Further Developments (context) - Gallaire - 1985
13 Logic Programming and Digital Circuit Analysis (context) - Clocksin - 1987
11 The Cardinality Operator: A New Logical Connective and Its A.. (context) - Van Hentenryck, Deville - 1991
9 Applications of Testability Analysis: From ATPG to Critical .. (context) - Brglez, Pownall et al. - 1984
8 Test Generation Through Logic Programming (context) - Svanaes, Aas - 1984
7 Fault Tolerant Computing (context) - Pradhan - 1986
7 Using an Extended Prolog for Digital Circuit Design (context) - Simonis, Dincbas - 1987
6 Using Logic Programming for Fault Diagnosis in Digital Circu.. (context) - Simonis, Dincbas - 1987
6 Extending Constraint Handling in Logic Programming to Ration.. (context) - Graf - 1987
6 Une Methode Arborescente pour Optimiser la Duree d'un JOBSHO.. (context) - Carlier, Pinson - 1986
6 Birth of an Expert System (context) - Parrello, The - 1988
6 Metacontrol of Logic Programs in METALOG (context) - Dincbas, Lepape - 1984
6 A Heuristic Program for Solving Problems Stated as Non-deter.. (context) - Fikes - 1968
5 Standard Forms for Rational Linear Arithmetics in Constraint.. (context) - Van Hentenryck, Graf - 1990
4 Heuristic Circuit Simulation Using PROLOG (context) - Gullichsen - 1985
4 Technology Mapping in CHIP (context) - Simonis, Graf - 1990
4 An Ecient Arc Consistency Algorithm for a Class of CSP Probl.. (context) - Deville, Van Hentenryck - 1991
3 Graph Theory: An Algorithmic Approach (context) - Christodes - 1975
2 Application of Meta-Level Programming to Fault Finding in Lo.. (context) - Eshghi - 1985
2 Test-pattern Generation for VLSI circuits in a Prolog Enviro.. (context) - Gupta - 1986
2 FAN: A Fanout Oriented Test Pattern Generation Algorithm (context) - Fujiwara - 1985
2 Verication of Digital Circuits Using CHIP (context) - Simonis, Nguyen et al. - 1988
2 Fault modeling in VLSI (context) - Abraham - 1986
1 Techniques et Sciences Informatiques (context) - Colmerauer, Kanoui et al. - 1983
1 Socrates: A Highly Ecient Automatic Test Pattern Generation .. (context) - Schulz, Trischler et al. - 1987
1 Results from Application of a Commercial ATG System to Large.. (context) - Rosales, Goel - 1985
1 Test generation and fault simulation (context) - Bottor - 1986
1 An Ecient Test Generation Method by 10-V Algorithm (context) - Takamatsu, Kinoshita - 1985
1 Test Generation for Large-Scale Combinational Circuits by us.. (context) - Tohma, Goto - 1987
1 Applications of Testability Analysis to ATG: Methods and Exp.. (context) - Trischler, Schulz - 1985
1 Test Generation for LSI Circuits Using Extended NineValued M.. (context) - Muarkami, Kikuchihara - 1985
1 Adaptive Backtrace and Dynamic Partitioning Enhance ATPG (context) - Lioy - 1988
1 A Knowledge Based Test Generator (context) - Varma, Tohma - 1987
1 Technical Report TR-LP (context) - Simonis - 1990
1 Test Generation Using Logic Programming (context) - Simonis - 1988
1 Automatic Test Pattern Generator for Large Combinational Cir.. (context) - Kawai, Oozeki et al. - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.brown.edu/~pvh/): More
Consistency Techniques in Ordinary Differential Equations - Deville, Janssen, Van.. (1998) (Correct)
Numerica: a Modeling Language for Global Optimization - van Hentenryck (1997) (Correct)
Localizer: A Modeling Language for Local Search - Michel, van Hentenryck (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