P. Codognet and D. Diaz. Boolean constraint solving using clp(FD). In D. Miller, editor, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
On a Constraint System for Lattice (Interval) Domains - Fernández, Hill (2001) (Correct)
Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
JACK: A Java Constraint Kit - Abdennadher, Krämer, Saft, Schmauss (2002) (5 citations) (Correct)
Building Constraint Solvers with HAL - Banda, Jeffery, Marriott.. (2001) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (359 citations) (Correct)
CHR and Harrop formulas: entailment, universal constraints.. - Padioleau, Ridoux (2000) (Correct)
Over-Constrained Systems in CLP and CSP - Jampel (1996) (2 citations) (Correct)
Constraint Programming - Patrick Esquirol, Pierre Lopez.. (1995) (1 citation) (Correct)
1983-1993: The Wonder Years of Sequential Prolog Implementation - Van Roy (1993) (1 citation) (Correct)
Linear 0-1 Inequalities and Extended Clauses - Barth (1994) (Correct)
A Constraint System for Lattice (Interval) Domains - Fernández, Hill (2001) (Correct)
Extending Arbitrary Solvers with Constraint Handling Rules - Duck, Stuckey, Banda, al. (2003) (2 citations) (Correct)
Extending Arbitrary Solvers with Constraint Handling Rules - Duck, Stuckey, Banda, al. (2003) (2 citations) (Correct)
clp(B): Combining Simplicity and Efficiency in Boolean.. - Codognet, Diaz Self-citation (Codognet Diaz) (Correct)
Compiling Constraints in clp(FD) - Codognet, Diaz (1996) (2 citations) Self-citation (Codognet Diaz) (Correct)
Compiling Constraints in clp(FD) - Codognet, Diaz (1996) (2 citations) Self-citation (Codognet Diaz) (Correct)
clp(FD) 2.21 User's Manual - Diaz (1994) (6 citations) Self-citation (Diaz) (Correct)
clp(B): Combining Simplicity and Efficiency in Boolean.. - Codognet, Diaz Self-citation (Codognet Diaz) (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