ASPQ: An ASP-Based 2QBF Solver
Giovanni Amendola, Carmine Dodaro, Francesco Ricca · CINECA IRIS Institutial Research Information System (University of Genoa) · 2016
Answer Set Programming (ASP) is an established logic-based programming paradigm which has been successfully applied for solving complex problems. Since ASP can model problems up to the second level of the polynomial hierarchy, it can be used to model and solve the 2QBF problem. In this paper we show how to obtain a fairly effective 2QBF solver by just resorting to state-of-The-Art ASP solvers.