Dimitris J. Kavvadias Martha Sideri The Inverse Satisfiability Problem. 152-163 1998 28 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp28.html#KavvadiasS98