Back to Results
First PageMeta Content
Logic in computer science / Boolean algebra / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / True quantified Boolean formula / Maximum satisfiability problem / Model checking / Conjunctive normal form / Satisfiability / Tseytin transformation


Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2
Add to Reading List

Document Date: 2012-12-16 04:54:55

Open Document

File Size: 639,17 KB

Share Result on Facebook
UPDATE