Skip to Main content Skip to Navigation
Conference papers

Some Ideas on Random Generation of K-Sat Instance

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03301145
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 1:08:44 PM
Last modification on : Thursday, September 9, 2021 - 3:10:19 PM

Identifiers

  • HAL Id : hal-03301145, version 1

Collections

Citation

Lakhdar Saïs, R. Génisson. Some Ideas on Random Generation of K-Sat Instance. Proceedings of the AAAI-94 Workshop on Experimental Evaluation of Reasoning and Search Methods, 1994, Seattle, USA, Unknown Region. pp.91-93. ⟨hal-03301145⟩

Share

Metrics

Record views

3