Author of the publication

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.

, , , , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 233-249. Springer, (2020)

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.

No persons found for author name Pitassi, Toniann
add a person with the name Pitassi, Toniann
 

Other publications of authors with the same name

Effectively Polynomial Simulations., and . ICS, page 370-382. Tsinghua University Press, (2010)Learning Fair Representations., , , , and . ICML (3), volume 28 of JMLR Workshop and Conference Proceedings, page 325-333. JMLR.org, (2013)On the Communication Complexity of High-Dimensional Permutations., , and . ITCS, volume 124 of LIPIcs, page 54:1-54:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness., , , and . Comput. Complex., 15 (4): 391-432 (2006)A little advice can be very helpful., , , and . SODA, page 615-625. SIAM, (2012)Minimizing DNF Formulas and AC0 Circuits Given a Truth Table, , , , and . Electron. Colloquium Comput. Complex., (2005)Lower bounds for Polynomial Calculus with extension variables over finite fields., , and . Electron. Colloquium Comput. Complex., (2022)Algebraic Proof Complexity: Progress, Frontiers and Challenges., and . Electron. Colloquium Comput. Complex., (2016)Semantics of Nondeterministic Asynchronous Broadcast Networks, , and . Inf. Comput., 104 (2): 215-252 (June 1993)Preserving Statistical Validity in Adaptive Data Analysis., , , , , and . STOC, page 117-126. ACM, (2015)