Sign in
From DQBF to QBF by Dependency Elimination.
Ralf Wimmer
Andreas Karrenbauer
Ruben Becker
Christoph Scholl
Bernd Becker
Published in:
MBMV (2018)
Keyphrases
</>
quantified boolean formulas
quantified boolean formulae
neural network
data mining
elimination algorithm
information retrieval
search engine
data structure
decision procedures