Author of the publication

Strong ETH and Resolution via Games and the Multiplicity of Strategies.

, and . IPEC, volume 43 of LIPIcs, page 248-257. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth., , , , and . MFCS (2), volume 8635 of Lecture Notes in Computer Science, page 336-347. Springer, (2014)A Variant of the VC-Dimension with Applications to Depth-3 Circuits., , and . ITCS, volume 215 of LIPIcs, page 72:1-72:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Prediction from Partial Information and Hindsight, an Alternative Proof., and . Electron. Colloquium Comput. Complex., (2017)Strong ETH and Resolution via Games and the Multiplicity of Strategies., and . IPEC, volume 43 of LIPIcs, page 248-257. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)On the structure and the number of prime implicants of 2-s.. Discret. Appl. Math., (2016)A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm., , and . Log. Methods Comput. Sci., (2021)On the Extension Complexity of Polytopes Separating Subsets of the Boolean Cube., and . Discret. Comput. Geom., 70 (1): 268-278 (July 2023)Super Strong ETH is true for strong PPSZ., and . Electron. Colloquium Comput. Complex., (2020)A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm., , and . Electron. Colloquium Comput. Complex., (2019)A Variant of the VC-dimension with Applications to Depth-3 Circuits., , and . CoRR, (2021)