Recovering and exploiting structural knowledge from CNF formulas - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

Recovering and exploiting structural knowledge from CNF formulas

(1) , (1) , (1) , (1)
1
Not file

Dates and versions

hal-03300513 , version 1 (27-07-2021)

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⟩
5 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More