Kirchweger, Markus
- Co-Certificate Learning with SAT Modulo Symmetries
2023/06/17 by Kirchweger, Markus, Peitl, Tomáš, Szeider, Stefan · 5 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)