Conference Papers
Year : 2002
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300513
Submitted on : Tuesday, July 27, 2021-10:37:20 AM
Last modification on : Wednesday, October 20, 2021-9:58:21 AM
Dates and versions
Identifiers
- HAL Id : hal-03300513 , version 1
Cite
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⟩
Collections
5
View
0
Download