ECM - École Centrale de Marseille : UMR7279 (Pôle de l'étoile - Technopole de Château-Gombert - 38 rue Frédéric Joliot-Curie - 13013 Marseille - France)
https://hal-univ-artois.archives-ouvertes.fr/hal-03300808 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 12:08:17 PM Last modification on : Monday, March 14, 2022 - 3:22:16 PM
Nadia Creignou, Daniel Le Berre. 19th International Conference on Theory and Applications of Satisfiability Testing (SAT'16). Springer, 2016. ⟨hal-03300808⟩