Author of the publication

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

The Landscape of Communication Complexity Classes., , and . ICALP, volume 55 of LIPIcs, page 86:1-86:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Combining Component Caching and Clause Learning for Effective Model Counting., , , , and . SAT, (2004)Fairness through awareness., , , , and . Proceedings of the 3rd Innovations in Theoretical Computer Science Conference on - ITCS \textquotesingle12, page 214-226. ACM, (2012)Solving #SAT and Bayesian Inference with Backtracking Search., , and . CoRR, (2014)A new proof of the weak pigeonhole principle., , and . STOC, page 368-377. ACM, (2000)Towards lower bounds for bounded-depth Frege proofs with modular connectives., and . Proof Complexity and Feasible Arithmetics, volume 39 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 195-227. DIMACS/AMS, (1996)Lifting Nullstellensatz to Monotone Span Programs over Any Field., and . Electron. Colloquium Comput. Complex., (2017)Lifting with Sunflowers., , , , and . ITCS, volume 215 of LIPIcs, page 104:1-104:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The power of weak formal systems.. University of Toronto, Canada, (1992)KRW Composition Theorems via Lifting., , , , and . FOCS, page 43-49. IEEE, (2020)