Clauses Versus Gates in CEGAR-Based 2QBF Solving.

Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl

Browse the full AAAI paper archive.