Peitl, Tomáš

1. Co-Certificate Learning with SAT Modulo Symmetries
   2023/06/17 by Kirchweger, Markus, Peitl, Tomáš, Szeider, Stefan · 4 citations
   #Artificial Intelligence (cs.AI) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
2. Small unsatisfiable k-CNFs with bounded literal occurrence
   2024/05/25 by Zhang, Tianwei, Peitl, Tomáš, Szeider, Stefan · 1 citation
   #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)