Login / Signup
Solving QBF by SMV.
Francesco M. Donini
Paolo Liberatore
Fabio Massacci
Marco Schaerf
Published in:
KR (2002)
Keyphrases
</>
real time
model checking
combinatorial optimization
data sets
knowledge base
branch and bound
solving problems
quantified boolean formulas