%0 Journal Article %T A Simple and Efficient Boolean Solver for Constraint Logic Programming %+ Constraint Logic Programming (LOCO) %+ Centre de Recherche en Informatique de Paris 1 (CRI) %A Codognet, Philippe %A Diaz, Daniel %< avec comité de lecture %@ 0168-7433 %J Journal of Automated Reasoning %I Springer Verlag %V 17 %N 1 %P 97-129 %8 1996 %D 1996 %K contraint programming %K boolean constraints %K SAT %K CLP %K constraint logic programming %K WAM %Z Computer Science [cs]/Software Engineering [cs.SE]Journal articles %G English %L hal-00693251 %U https://paris1.hal.science/hal-00693251 %~ UNIV-PARIS1 %~ INRIA %~ INRIA-ROCQ %~ INRIA_TEST %~ CRI %~ TESTALAIN1 %~ INRIA2