Our paper, titled “Solving QBF With Nested SAT Solvers” is now accepted in Beyond NP 2016 which is co-located with AAAI 2016 (i.e., Phoenix, AZ, USA).
Personal Homepage
Our paper, titled “Solving QBF With Nested SAT Solvers” is now accepted in Beyond NP 2016 which is co-located with AAAI 2016 (i.e., Phoenix, AZ, USA).