Conference Papers
Year : 2016
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03299478
Submitted on : Monday, July 26, 2021-2:48:58 PM
Last modification on : Wednesday, February 8, 2023-5:11:18 PM
Dates and versions
Identifiers
- HAL Id : hal-03299478 , version 1
Cite
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary. An Adaptive SAT Solver. 22nd International Conference on Principles and Practice of Constraint Programming (CP'16), 2016, Toulouse, France. pp.30-48. ⟨hal-03299478⟩
Collections
9
View
0
Download