Symbolic model checking using SAT procedures instead of BDDs

@inproceedings{citeulike:1734831, address = {New York, NY, USA}, author = {Biere, A. and Cimatti, A. and Clarke, E. M. and Fujita, M. and Zhu, Y. }, booktitle = {DAC '99: Proceedings of the 36th ACM/IEEE conference on Design automation}, citeulike-article-id = {1734831}, doi = {10.1145/309847.309942}, isbn = {1581331097}, keywords = {bdd, model\_checking, sat}, pages = {317--320}, posted-at = {2007-10-07 02:58:45}, priority = {5}, publisher = {ACM Press}, title = {Symbolic model checking using SAT procedures instead of BDDs}, url = {http://portal.acm.org/citation.cfm?id=309942}, year = {1999} }

TY - CONF ID - citeulike:1734831 L3 - citeulike-article-id:1734831 TI - Symbolic model checking using SAT procedures instead of BDDs T2 - DAC '99: Proceedings of the 36th ACM/IEEE conference on Design automation SP - 317 EP - 320 AD - New York, NY, USA PB - ACM Press SN - 1581331097 KW - bdd KW - model_checking KW - sat AU - Biere, A AU - Cimatti, A AU - Clarke, EM AU - Fujita, M AU - Zhu, Y PY - 1999/// UR - http://portal.acm.org/citation.cfm?id=309942 ER -