L.: Recovering and exploiting structural knowledge from CNF formulas (2002)

by R Ostrowski, É Grégoire, B Mazure, Sais
Venue:In: CP 02. Volume 2470 of LNCS