%0 Conference Paper %1 conf/plilp/CodognetD94 %A Codognet, Philippe %A Diaz, Daniel %B PLILP %D 1994 %E Hermenegildo, Manuel V. %E Penjam, Jaan %I Springer %K dblp %P 244-260 %T clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. %U http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#CodognetD94 %V 844 %@ 3-540-58402-1

@inproceedings{conf/plilp/CodognetD94, added-at = {2023-11-10T00:00:00.000+0100}, author = {Codognet, Philippe and Diaz, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/281fdad8fb4908c1aa0bbc037f84eb193/dblp}, booktitle = {PLILP}, crossref = {conf/plilp/1994}, editor = {Hermenegildo, Manuel V. and Penjam, Jaan}, ee = {https://doi.org/10.1007/3-540-58402-1_18}, interhash = {d216aee93a50840dba0c6747ab703908}, intrahash = {81fdad8fb4908c1aa0bbc037f84eb193}, isbn = {3-540-58402-1}, keywords = {dblp}, pages = {244-260}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:24:59.000+0200}, title = {clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#CodognetD94}, volume = 844, year = 1994 }