%0 Conference Paper %1 conf/sat/FrancoKSWWDV03 %A Franco, John V. %A Kouril, Michal %A Schlipf, John S. %A Ward, Jeffrey %A Weaver, Sean A. %A Dransfield, Michael R. %A Vanfleet, W. Mark %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K dblp %P 398-410 %T SBSAT: a State-Based, BDD-Based Satisfiability Solver. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#FrancoKSWWDV03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/FrancoKSWWDV03, added-at = {2019-05-21T00:00:00.000+0200}, author = {Franco, John V. and Kouril, Michal and Schlipf, John S. and Ward, Jeffrey and Weaver, Sean A. and Dransfield, Michael R. and Vanfleet, W. Mark}, biburl = {https://www.bibsonomy.org/bibtex/256a788b3dcc3b7f1e5c58340871ef4a7/dblp}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_30}, interhash = {e24ee4e199cf864cfb197f29bff2ebfd}, intrahash = {56a788b3dcc3b7f1e5c58340871ef4a7}, isbn = {3-540-20851-8}, keywords = {dblp}, pages = {398-410}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-22T11:56:07.000+0200}, title = {SBSAT: a State-Based, BDD-Based Satisfiability Solver.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#FrancoKSWWDV03}, volume = 2919, year = 2003 }