C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.
Enrico Giunchiglia
Paolo Marin
Massimo Narizzano
Published in:
SAT (2010)
Keyphrases
</>
high quality
spatial reasoning
neural network
reasoning systems
expert systems
default reasoning
quantified boolean formulae