On Expansion and Resolution in CEGAR Based QBF Solving.

Leander Tentrup

Published in: CAV (2) (2017)

Keyphrases

high resolution
low resolution
real time
neural network
image quality
belief revision
higher resolution
consequence finding