Sciweavers

ASPDAC
2006
ACM
117views Hardware» more  ASPDAC 2006»
13 years 11 months ago
SAT-based optimal hypergraph partitioning with replication
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
Michael G. Wrighton, André DeHon