First Page | Document Content | |
---|---|---|
Date: 2015-02-02 08:44:10Theoretical computer science Mathematical logic Mathematics Logic in computer science NP-complete problems Boolean algebra Electronic design automation Algebraic logic Tseytin transformation Boolean satisfiability problem Conjunctive normal form Canonical normal form | Microsoft Word - IBSdocAdd to Reading ListSource URL: foibg.comDownload Document from Source WebsiteFile Size: 140,07 KBShare Document on Facebook |
Microsoft Word - IBSdocDocID: 1qERD - View Document | |
Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2DocID: 1pF7O - View Document |