Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu
Symbolic Model Checking Using SAT Procedures instead of BDDs
DAC, 1999.
@inproceedings{DAC-1999-BiereCCFZ,
author = "Armin Biere and Alessandro Cimatti and Edmund M. Clarke and Masahiro Fujita and Yunshan Zhu",
booktitle = "{Proceedings of the 36th Design Automation Conference}",
doi = "10.1145/309847.309942",
pages = "317--320",
publisher = "{ACM Press}",
title = "{Symbolic Model Checking Using SAT Procedures instead of BDDs}",
year = 1999,
}