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 : Friday, March 24, 2023-2:53:22 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
4
View
0
Download