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
|