2QBF: Challenges and Solutions.

Valeriy Balabanov Jie-Hong Roland Jiang Christoph Scholl Alan Mishchenko Robert K. Brayton

Published in: SAT (2016)

Keyphrases

lessons learned
key issues
technical challenges
real world
feasible solution
solution space
solution quality
application scenarios
practical solutions