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-03299486 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Monday, July 26, 2021 - 2:49:05 PM Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Gilles Audemard, Belaid Benhamou. Reasoning by symmetry and function ordering in Finite model generation. 18th Conference on Automated Deduction (CADE'18), 2002, Copenhagen, Denmark. pp.226-240. ⟨hal-03299486⟩