Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu. Symbolic Model Checking Using SAT Procedures instead of BDDs. In DAC. pages 317-320, 1999. [doi]
@inproceedings{BiereCCFZ99,
title = {Symbolic Model Checking Using SAT Procedures instead of BDDs},
author = {Armin Biere and Alessandro Cimatti and Edmund M. Clarke and Masahiro Fujita and Yunshan Zhu},
year = {1999},
doi = {10.1145/309847.309942},
url = {http://doi.acm.org/10.1145/309847.309942},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BiereCCFZ99},
cites = {0},
citedby = {0},
pages = {317-320},
booktitle = {DAC},
}