Skip to Main content Skip to Navigation
Books

Quelques expérimentations sur des problèmes de satisfaction de contraintes académiques et réels

Résumé : Les CSP aléatoires apparaissent de plus en plus fréquemment dans les publications, tant afin d'évaluer l'efficacité d'algorithmes ou d'heuristiques que pour poursuivre les expérimentations présentées dans [CKT91 mettant en évidence une "transition de phase" durant laquelle les problèmes aléatoires les plus difficiles apparaîtraient. Les buts précisément puursuivis ne sont pas toujours évidents dans ces expérimentations: étude des "sources" de la difficulté des problèmes NP-complets, mise en évidence de la "transition de phase", caractérisation des problèmes aléatoires "difficiles" pour certains algorithmes, pour tout type d'algorithme, caractérisation des problèmes difficiles en général, évaluation de l'efficacité d'algorithmes, d'heuristiques, établissement de la suprématie de certaines approches (GSAT) vs. Davis Putnam)... Les quelques pages qui suivent donnent quelques éléments expérimentaux sans prétention sur le sujet.
Document type :
Books
Complete list of metadata

https://hal.inrae.fr/hal-02837978
Contributor : Migration Prodinra Connect in order to contact the contributor
Submitted on : Sunday, June 7, 2020 - 12:16:18 PM
Last modification on : Friday, June 12, 2020 - 11:32:20 AM

Identifiers

  • HAL Id : hal-02837978, version 1
  • PRODINRA : 135882

Collections

Citation

Thomas Schiex, G. Verfaillie. Quelques expérimentations sur des problèmes de satisfaction de contraintes académiques et réels. 9 p., 1997. ⟨hal-02837978⟩

Share

Metrics

Record views

9