Sign in

Efficient CNF Simplification Based on Binary Implication Graphs.

Marijn HeuleMatti JärvisaloArmin Biere
Published in: SAT (2011)
Keyphrases
  • cost effective
  • multi class
  • directed graph
  • graph databases
  • graph theoretic