Thomas, Michael
- Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
2009/12/16 by Creignou, Nadia, Schmidt, Johannes, Thomas, Michael · 2 citations
#Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #F.2.2 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)