Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Recovering and exploiting structural knowledge from CNF formulas.
Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'2002), 2002, Ithaca (N.Y.), Unknown Region. pp.185-199.
⟨hal-03300513⟩