%0 Conference Paper %1 conf/dac/BiereCCFZ99 %A Biere, Armin %A Cimatti, Alessandro %A Clarke, Edmund M. %A Fujita, Masahiro %A Zhu, Yunshan %B DAC %D 1999 %E Irwin, Mary Jane %I ACM Press %K dblp %P 317-320 %T Symbolic Model Checking Using SAT Procedures instead of BDDs. %U http://dblp.uni-trier.de/db/conf/dac/dac99.html#BiereCCFZ99

@inproceedings{conf/dac/BiereCCFZ99, added-at = {2019-06-02T00:00:00.000+0200}, author = {Biere, Armin and Cimatti, Alessandro and Clarke, Edmund M. and Fujita, Masahiro and Zhu, Yunshan}, biburl = {https://www.bibsonomy.org/bibtex/23f490542e3002a4d5f15c26e0f70d852/dblp}, booktitle = {DAC}, crossref = {conf/dac/1999}, editor = {Irwin, Mary Jane}, ee = {https://www.wikidata.org/entity/Q62041449}, interhash = {c5fae188515289974fbc59fe9c1ab466}, intrahash = {3f490542e3002a4d5f15c26e0f70d852}, keywords = {dblp}, pages = {317-320}, publisher = {ACM Press}, timestamp = {2019-06-04T14:14:58.000+0200}, title = {Symbolic Model Checking Using SAT Procedures instead of BDDs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac99.html#BiereCCFZ99}, year = 1999 }