Login / Signup
Exploiting structure in an AIG based QBF solver.
Florian Pigorsch
Christoph Scholl
Published in:
DATE (2009)
Keyphrases
</>
quantified boolean formulas
structural information
knowledge representation
search algorithm
hierarchical structure