Bangsheng Tang. Some Remarks on the Incompressibility of Width-Parameterized SAT Instances. In Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang, editors, Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings. Volume 7285 of Lecture Notes in Computer Science, pages 192-198, Springer, 2012. [doi]
Abstract is missing.