Recovering and exploiting structural knowledge from CNF formulas (2002)

by R Ostrowski, E Grégoire, B Mazure, L Sais
Venue:In 8th CP