Huan Chen 0001, João Marques-Silva. New & improved models for SAT-based bi-decomposition. In Erik Brunvard, Ken Stevens, Joseph R. Cavallaro, Tong Zhang 0002, editors, Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake Cit, UT, USA, May 3-4, 2012. pages 141-146, ACM, 2012. [doi]
Abstract is missing.