Recovering and Exploiting Structural Knowledge from CNF Formulas.

Richard Ostrowski, ric Grgoire, Bertrand Mazure, Lakhdar Sais

Browse the full CP paper archive.