![Theoretical computer science / Conjunctive normal form / And-inverter graph / Science / Mathematics / Circuit / Canonical form / Boolean network / Logic / Electronic design automation / Formal methods Theoretical computer science / Conjunctive normal form / And-inverter graph / Science / Mathematics / Circuit / Canonical form / Boolean network / Logic / Electronic design automation / Formal methods](https://www.pdfsearch.io/img/25acdb4ef376223b46546c9d647443a8.jpg) Date: 2007-03-20 02:33:25Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods | | Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of TechnolAdd to Reading ListSource URL: www.bvsrc.orgDownload Document from Source Website File Size: 192,12 KBShare Document on Facebook
|