Login / Signup

Simplifying Binary Propositional Theories into Connected Components Twice as Fast.

Alvaro del Val
Published in: LPAR (2001)
Keyphrases
  • connected components
  • propositional theories
  • binary images
  • computational problems
  • level set
  • graph mining
  • computational properties
  • logic programs
  • connected component labeling
  • connected component analysis