Author:Zoltan Mann

Keyphrases

CNF partitioning, complexity analysis, Divide and Conquer, Fiduccia-Mattheyses algorithm, hypergraph partitioning, SAT competitions, SAT partitioning, SAT solvers, typical-case complexity.