Susanna F. de Rezende
- Lifting with Simple Gadgets and Applications to Circuit and Proof\n Complexity
2020/01/07 by Susanna F. de Rezende, Or Meir, de Rezende, Susanna F. +9 · 1 citation
Computer Science · Decision Sciences · Mathematics · #Auction Theory and Applications #Benford’s Law and Fraud Detection #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #F.2.2 #F.2.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)