Yong Gao Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability. 1343-1366 2009 173 Artif. Intell. 14 http://dx.doi.org/10.1016/j.artint.2009.06.005 db/journals/ai/ai173.html#Gao09