From very hard doubly balanced SAT formulae to easy unbalanced SAT formulae, variations of the satisfiability threshold (1996)

by O Dubois, Y Boufkhad
Venue:Proceedings of the DIMACS workshop on the Satisfiability Problem: Theory and Applications, Ding-Zhu