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