Christian Glaßer Aduri Pavan Alan L. Selman Liyu Zhang Splitting NP-Complete Sets. 1517-1535 2008 37 SIAM J. Comput. 5 http://dx.doi.org/10.1137/060673886 db/journals/siamcomp/siamcomp37.html#GlasserPSZ08