Characterizing Tseitin-Formulas with Short Regular Resolution Refutations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

Stefan Mengel
Alexis de Colnet
  • Fonction : Auteur
  • PersonId : 1166280

Dates et versions

hal-03402246 , version 1 (25-10-2021)

Identifiants

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⟩
18 Consultations
0 Téléchargements

Altmetric

Partager

More