Conference Papers
Year : 2002
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300595
Submitted on : Tuesday, July 27, 2021-10:57:59 AM
Last modification on : Wednesday, February 8, 2023-5:11:18 PM
Dates and versions
Identifiers
- HAL Id : hal-03300595 , version 1
Cite
Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Techniques de simplification de CNF. Actes des 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC-02), 2002, Nice, France. pp.181-194. ⟨hal-03300595⟩
Collections
3
View
0
Download