Skip to Main content Skip to Navigation
Conference papers

A simple model to generate hard satisfiable instances

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00396466
Contributor : Francois Chevallier <>
Submitted on : Thursday, June 18, 2009 - 11:14:09 AM
Last modification on : Thursday, January 11, 2018 - 6:22:37 AM

Identifiers

  • HAL Id : hal-00396466, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

53