Clauses Versus Gates in CEGAR-Based 2QBF Solving.

Journal

Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016.

Date Issued

2016

Author(s)

Balabanov, Valeriy

Jiang, Jie-Hong Roland

Mishchenko, Alan

Scholl, Christoph

URI

URL

Type

conference paper