Bangsheng Tang: Some Remarks on the Incompressibility of Width-Parameterized SAT Instances. FAW-AAIM 2012: 192-198