A simple model to generate hard satisfiable instances - Archive ouverte HAL
Communication Dans Un Congrès Année : 2005

A simple model to generate hard satisfiable instances

K. Xu
  • Fonction : Auteur
Fred Hemery
Fichier non déposé

Dates et versions

hal-00396466 , version 1 (18-06-2009)

Identifiants

  • HAL Id : hal-00396466 , version 1

Citer

K. Xu, Frederic Boussemart, Fred Hemery, Christophe Lecoutre. A simple model to generate hard satisfiable instances. 19th International Joint Conference on Artificial Intelligence(IJCAI'05), Aug 2005, Edinburgh, United Kingdom. pp.337-342. ⟨hal-00396466⟩
42 Consultations
0 Téléchargements

Partager

More