%0 Conference Paper %1 conf/cade/ChatalicS00 %A Chatalic, Philippe %A Simon, Laurent %B CADE %D 2000 %E McAllester, David A. %I Springer %K dblp %P 449-454 %T ZRES: The Old Davis-Putman Procedure Meets ZBDD. %U http://dblp.uni-trier.de/db/conf/cade/cade2000.html#ChatalicS00 %V 1831 %@ 3-540-67664-3

@inproceedings{conf/cade/ChatalicS00, added-at = {2017-05-21T00:00:00.000+0200}, author = {Chatalic, Philippe and Simon, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2cb2d1628614974c4778520ddef81a753/dblp}, booktitle = {CADE}, crossref = {conf/cade/2000}, editor = {McAllester, David A.}, ee = {https://doi.org/10.1007/10721959_35}, interhash = {ab56ea4d3d407ca99730b013ecb01da4}, intrahash = {cb2d1628614974c4778520ddef81a753}, isbn = {3-540-67664-3}, keywords = {dblp}, pages = {449-454}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:02.000+0200}, title = {ZRES: The Old Davis-Putman Procedure Meets ZBDD.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2000.html#ChatalicS00}, volume = 1831, year = 2000 }