Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
https://hal-univ-artois.archives-ouvertes.fr/hal-03301145 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 1:08:44 PM Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
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⟩