![Mathematics / Logic / Mathematical logic / Boolean algebra / Formal languages / Model theory / Binary decision diagram / Model checking / IP / Boolean satisfiability problem / Constructible universe / Well-formed formula Mathematics / Logic / Mathematical logic / Boolean algebra / Formal languages / Model theory / Binary decision diagram / Model checking / IP / Boolean satisfiability problem / Constructible universe / Well-formed formula](https://www.pdfsearch.io/img/e7336bd4e53c4373caec30c52ca86242.jpg) Date: 2008-07-02 09:38:12Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula | | A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony BrookAdd to Reading ListSource URL: bsd7.cs.sunysb.eduDownload Document from Source Website File Size: 362,14 KBShare Document on Facebook
|