aspQ
Submitter: | Francesco Ricca | ||
Description: | Devised by G. Amendola, C. Dodaro, and F. Ricca, is a proof of concept of a 2QBF solver based on ASP solvers. The input formula is preprocessed with bloqqer, and then transformed in a ground ASP program according to the classical Eiter-Gottlob encoding of 2QBF in ASP, so that it can be evaluated by using an ASP solver. | ||
Results: | |||