Login / Signup

SAT-based optimal hypergraph partitioning with replication.

Michael G. WrightonAndré DeHon
Published in: ASP-DAC (2006)
Keyphrases
  • search space
  • optimal solution
  • sat solvers
  • hypergraph partitioning
  • partitioning algorithm