Loïc Paulevé
1
Documents
Identifiants chercheurs
- loic-pauleve
- 0000-0002-7219-2027
- Google Scholar : https://scholar.google.fr/citations?user=Lcdry6AAAAAJ
- IdRef : 127903690
Présentation
<https://loicpauleve.name>
<https://loicpauleve.name>
Publications
- 1
- 1
- 1
|
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solversSAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing, 2020, Alghero, Italy. pp.107-113, ⟨10.1007/978-3-030-51825-7_8⟩
Communication dans un congrès
hal-02704747v1
|