Back to Results
First PageMeta Content
Mathematics / 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 Brook
Add to Reading List

Document Date: 2008-07-02 09:38:12


Open Document

File Size: 362,14 KB

Share Result on Facebook
UPDATE