Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
https://hal-univ-artois.archives-ouvertes.fr/hal-03299490 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Monday, July 26, 2021 - 2:49:09 PM Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Gilles Audemard, Laurent Henocque. The eXtended Least Number Heuristic. International Joint Conference on Automated Reasoning (IJCAR'01), 2001, Sienne, Italy. pp.427-442. ⟨hal-03299490⟩