Author of the publication

Asymptotic Structure of Graphs with the Minimum Number of Triangles.

, and . Comb. Probab. Comput., 26 (1): 138-160 (2017)

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

Pseudorandom Generators in Propositional Proof Complexity., , , and . SIAM J. Comput., 34 (1): 67-88 (2004)On the Parameterization of solutions for equations in Free Groups.. Int. J. Algebra Comput., 3 (3): 251-274 (1993)The Ackermann Award 2009., and . CSL, volume 5771 of Lecture Notes in Computer Science, page 561-565. Springer, (2009)On the Shrinkage Exponent for Read-Once Formulae., , and . Theor. Comput. Sci., 141 (1&2): 269-282 (1995)Constructing Small Sets that are Uniform in Arithmetic Progressions., , and . Comb. Probab. Comput., (1993)Clique Is Hard on Average for Regular Resolution., , , , , and . CoRR, (2020)Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems., and . ICALP, volume 229 of LIPIcs, page 100:1-100:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On the number of pentagons in triangle-free graphs., , , , and . J. Comb. Theory, Ser. A, 120 (3): 722-732 (2013)Resolution is Not Automatizable Unless WP is Tractable., and . FOCS, page 210-219. IEEE Computer Society, (2001)Satisfiability, Branch-Width and Tseitin Tautologies., and . FOCS, page 593-603. IEEE Computer Society, (2002)