P. V. Hentenryck, H. Simonis, and M. Dincbas. Constraint satisfaction using constraint logic programming. Artificial Intelligence, 58:113--159, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Machine Discovery in Chemistry: New Results - Valdés-Pérez (1995) (4 citations) (Correct)
Automatic Generation of Software Test Cases From Formal.. - Meudec (1998) (5 citations) (Correct)
Unconstrained Constraint Programming - van Hintum (1995) (Correct)
Entailment of Finite Domain Constraints - Carlson, Carlsson, Diaz (1994) (10 citations) (Correct)
Automatic Generation of Software Tests From Formal Specifications - Meudec (1997) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (359 citations) (Correct)
Semantics of Constraint Logic Programs with Bounded Quantifiers - Argenius (1998) (4 citations) (Correct)
A Method of Program Understanding using Constraint Satisfaction.. - Woods (1996) (3 citations) (Correct)
A Mad Approach For Solving Part-Selection Problems - Darr, Birmingham, Scala (2000) (Correct)
Constraint Programming viewed as Rule-based Programming - Apt, al. (2000) (4 citations) (Correct)
clp(B): Combining Simplicity and Efficiency in Boolean.. - Codognet, Diaz (Correct)
Resolution of structured SAT problems with Score(FD/B) - Charbrier, Richer, Charbrier (Correct)
Finite Domain Constraints in Industrial Development 1.1 Background - Gr Ou Nd (Correct)
A First Step Towards Automated Detection of Buffer.. - Wagner, Foster.. (2000) (59 citations) (Correct)
A Propositional Meta-Constraint System: Specification, Application .. - Ward (1993) (Correct)
Boolean Constraint Solving Using clp(FD) - Codognet, Diaz (Correct)
Functional Strips: a more general language for planning and.. - Bonet, Geffner (1999) (1 citation) (Correct)
The Alma Project, or How First-Order Logic Can Help Us in.. - Apt, Schaerf (1999) (Correct)
Succeed-first or Fail-first: A Case Study in Variable and.. - Barbara M. Smith (1996) (7 citations) (Correct)
Constraint Networks: A Survey - Yang, Yang (1997) (1 citation) (Correct)
Anwendungen Constraintbasierter Programmierung - Frühwirth, Abdennadher (1997) (Correct)
Integrating Heuristics for Constraint Satisfaction Problems: A.. - Minton (1993) (9 citations) (Correct)
A Constraint Program for Solving the Job-Shop Problem - Zhou (1996) (2 citations) (Correct)
No-Good Backmarking With Min-Conflict Repair in Constraint.. - Yuejun Jiang (1994) (6 citations) (Correct)
Scheduling and Packing In The Constraint Language cc(FD) - Van Hentenryck (1992) Self-citation (Van hentenryck) (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