Login / Signup

Formula partitioning revisited.

Zoltán Ádám MannPá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