2QBF: Challenges and Solutions

Journal

Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT)

Pages

453-469

Date Issued

2016-07

Author(s)

Valeriy Balabanov

Jie-Hong Rol

Jiang, Christoph Scholl

Alan Mishchenko

Robert K. Brayton

DOI

URI

Type

conference paper