Symbolic Model Checking Using SAT Procedures instead of BDDs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu
Symbolic Model Checking Using SAT Procedures instead of BDDs
DAC, 1999.

DAC 1999
DBLP
Scholar
DOI
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.