Réduction d'instances de SAT vers des instances polynomiales - Université d'Artois Access content directly
Conference Papers Year : 2008
No file

Dates and versions

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

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

Share

Gmail Facebook X LinkedIn More