Communication Dans Un Congrès
Année : 2021
Stefan Mengel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03402246
Soumis le : lundi 25 octobre 2021-15:44:50
Dernière modification le : jeudi 7 mars 2024-10:56:59
Dates et versions
Identifiants
- HAL Id : hal-03402246 , version 1
- ARXIV : 2103.09609
- DOI : 10.1007/978-3-030-80223-3_9
Citer
Stefan Mengel, Alexis de Colnet. Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. 24th International Conference Theory and Applications of Satisfiability Testing - SAT 2021, Jul 2021, Barcelona, Spain. pp.116-133, ⟨10.1007/978-3-030-80223-3_9⟩. ⟨hal-03402246⟩
Collections
18
Consultations
0
Téléchargements