@inproceedings{BiereCimattiClarkeFujitaZhu-DAC99,
  author       = {Armin Biere and
                  Alessandro Cimatti and
                  Edmund M. Clarke and
                  Masahiro Fujita and
                  Yunshan Zhu},
  editor       = {Mary Jane Irwin},
  title        = {Symbolic Model Checking Using {SAT} Procedures instead of {BDDs}},
  booktitle    = {Proceedings of the 36th Conference on Design Automation, New Orleans,
                  LA, USA, June 21-25, 1999},
  pages        = {317--320},
  publisher    = {{ACM} Press},
  year         = {1999},
  doi          = {10.1145/309847.309942},
}