An Algorithm to Verify Formulas by means of (O,S,=)-BDDs

Additional Metadata
Publisher	Sharif University of Technology
Conference	Annual Computer Society of Iran Computer Conference
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van de Pol, J., & Badban, B. (2004). An Algorithm to Verify Formulas by means of (O,S,=)-BDDs. In Proceedings of the 9th Annual Computer Society of Iran Computer Conference (CSICC 2004) (pp. 1–9). Sharif University of Technology.

Publication