Login / Signup
On Expansion and Resolution in CEGAR Based QBF Solving.
Leander Tentrup
Published in:
CoRR (2018)
Keyphrases
</>
real time
combinatorial optimization
neural network
np complete
quantified boolean formulas
consequence finding