Login / Signup
Formula partitioning revisited.
Zoltán Ádám Mann
Pál András Papp
Published in:
POS@SAT (2014)
Keyphrases
</>
partitioning algorithm
parallel algorithm
propositional formulas
real time
neural network
computer vision
multiscale
space partitioning