Michael G. Wrighton, André DeHon. SAT-based optimal hypergraph partitioning with replication. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 789-795, IEEE, 2006. [doi]
Abstract is missing.