Philippe Codognet, Daniel Diaz  Home/Search
Context
Related
| inria.fr/INRIA/Projects/loco...clp_b.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: pauillac.inria.fr/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present the design and the implementation of clp(B): a boolean constraint solver in the Constraint Logic Programming paradigm. This solver is based on local propagation methods and follows the "glassbox " approach of compiling high-level constraints into primitive low-level ones. We detail its integration into the WAM showing that the necessary extension is truly minimal since only four new instructions are added. The resulting solver is around an order of magnitude faster than ... (Update)
Similar documents (at the sentence level):
62.0%: clp(B): Combining Simplicity and Efficiency in Boolean.. - Codognet, Diaz (Correct)
12.0%: Boolean Constraint Solving Using clp(FD) - Codognet, Diaz (Correct)
5.8%: Compiling Constraints in clp(FD) - Codognet, Diaz (1996) (Correct)
Active bibliography (related documents): More All
0.2: Ordered Binary Decision Diagrams and the Davis-Putnam Procedure - Uribe, al. (1994) (Correct)
0.2: Almana: A BDD Minimization Tool Integrating Heuristic .. - Nikolskaïa.. (Correct)
0.2: A Taxonomy of Infinite State Processes - Moller (1998) (Correct)
Similar documents based on text: More All
0.5: wamcc: Compiling Prolog to C - Codognet, Diaz (1995) (Correct)
0.3: Constraint-Based Query Optimization - For Spatial Databases (Correct)
0.1: GNU Prolog: beyond compiling Prolog to C - Daniel Diaz And (Correct)
BibTeX entry: (Update)
@misc{ codognet-clpb,
author = "Philippe Codognet and Daniel Diaz",
title = "clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving",
url = "citeseer.ist.psu.edu/286663.html" }
Citations (may not include all citations):702 Consistency in Networks of Relations (context) - Mackworth - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
261 An introduction to PrologIII (context) - Colmerauer - 1990
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
85 Compiling Constraint in clp (context) - Codognet, Diaz - 1993
49 Constraint Satisfaction Using Constraint Logic Programming (context) - Van Hentenryck, Simonis et al. - 1992
37 Warren's Abstract Machine (context) - Ait-Kaci - 1991
34 The Category of Constraint Systems is Cartesian-Closed (context) - Saraswat - 1992
24 Constraint Processing in cc (context) - Van Hentenryck, Saraswat et al. - 1991
18 Boolean Constraint Solving Using clp (context) - Codognet, Diaz - 1993
9 Local Propagation Methods for Solving Boolean Constraints in.. (context) - Codognet, Diaz - 1993
9 This article was processed using the L a T E X macro package.. (context) - Warren, Prolog et al. - 1983
7 Using Local Consistency Techniques to Solve Boolean Constrai.. (context) - Massat - 1993
6 Some Practical Results on the SAT Problem (context) - Rauzy - 1993
5 Using Enumerative Methods for Boolean Unification (context) - Rauzy - 1993
5 Universit'e Bordeaux (context) - Rauzy, report - 1991
2 Stickel Ordered Binary Decision Diagrams and the DavisPutnam.. (context) - Uribe - 1994
2 FASTLI: An Exact Algorithm for the Constraint Satisfaction P.. (context) - Bennaceur, Plateau - 1991
2 Do it yourself (context) - Corsini, Rauzy - 1993
1 Logical Inference Problem in Variables (context) - Bennaceur, Plateau - 1993
Documents on the same site (http://pauillac.inria.fr/~diaz/publications.html): More
A Minimal Extension of the WAM for clp(FD) - Diaz, Codognet (1993) (Correct)
wamcc: Compiling Prolog to C - Codognet, Diaz (1995) (Correct)
Boolean Constraint Solving Using clp(FD) - 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