Conference Papers
Year : 2008
Fabien DELORME : Connect in order to contact the contributor
https://univ-artois.hal.science/hal-03300590
Submitted on : Tuesday, July 27, 2021-10:57:54 AM
Last modification on : Wednesday, September 20, 2023-3:36:05 PM
Dates and versions
Identifiers
- HAL Id : hal-03300590 , version 1
Cite
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Réduction d'instances de SAT vers des instances polynomiales. 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), 2008, Amiens, Région indéterminée. pp.388-396. ⟨hal-03300590⟩
Collections
9
View
0
Download