Réduction d'instances de SAT vers des instances polynomiales - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Réduction d'instances de SAT vers des instances polynomiales

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03300590 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More