Login / Signup
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.
Valeriy Balabanov
Jie-Hong Roland Jiang
Mikolas Janota
Magdalena Widl
Published in:
AAAI (2015)
Keyphrases
</>
long distance
complex systems
statistical models
probabilistic model
information extraction
data sets
multiresolution
computer technology
upper layer