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-03301147 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 1:08:45 PM Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
Lakhdar Saïs. A Computational Study of DP with Symmetry on Hard Satisfiability Problems. Proceedings of the AAAI-94 Workshop on Experimental Evaluation of Reasoning and Search Methods, 1994, Seattle, USA, Unknown Region. pp.52-56. ⟨hal-03301147⟩