Back to Results
First PageMeta Content
Boolean algebra / True quantified Boolean formula / Quantifier elimination / Boolean satisfiability problem / Model theory / Quantification / FO / Propositional calculus / Mathematical logic / Theoretical computer science / Logic


Boolean QE for Automotive Configuration Zengler, K¨ uchlin
Add to Reading List

Document Date: 2013-10-21 02:25:29

Open Document

File Size: 616,50 KB

Share Result on Facebook
UPDATE