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

Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs

Conference Papers Year : 2008

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

(1) , (2) , (2) , (2)

1
2

Olivier Fourdrinoy

Function : Author

Centre de Recherche en Informatique de Lens

Éric Grégoire

Function : Author
PersonId : 840350
ORCID : 0000-0001-6707-3106
IdRef : 032280181

Centre de Recherche en Informatique de Lens

Bertrand Mazure

Function : Author
PersonId : 755557
IdHAL : bertrand-mazure
ORCID : 0000-0002-3508-123X
IdRef : 142666084

Centre de Recherche en Informatique de Lens

Lakhdar Saïs

Function : Author
PersonId : 840352
ORCID : 0000-0003-2879-8627
IdRef : 07068541X

Centre de Recherche en Informatique de Lens

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03300590

Submitted on : Tuesday, July 27, 2021-10:57:54 AM

Last modification on : Friday, March 24, 2023-2:53:22 PM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share