Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
We investigate a special case of the graph partitioning problem: the partitioning of a sibling graph which is an ordered tree augmented with edges connecting consecutive nodes that share a common parent. We describe the algorithm, XS, and present a proof of its correctness. © 2008 Elsevier B.V. All rights reserved.
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Rolf Clauberg
IBM J. Res. Dev
Thomas R. Puzak, A. Hartstein, et al.
CF 2007