KRW Composition Theorems via Lifting
Rezende, Susanna F. de, Meir, Or, Nordström, Jakob, Pitassi, Toniann, Robere, Robert
Published in Computational complexity (01.06.2024)
Published in Computational complexity (01.06.2024)
Get full text
Journal Article
On the proper orientation number of bipartite graphs
Araujo, Julio, Cohen, Nathann, de Rezende, Susanna F., Havet, Frédéric, Moura, Phablo F.S.
Published in Theoretical computer science (09.02.2015)
Published in Theoretical computer science (09.02.2015)
Get full text
Journal Article
Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, Susanna F., Potechin, Aaron, Risse, Kilian
Published in 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (06.11.2023)
Published in 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (06.11.2023)
Get full text
Conference Proceeding
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
De Rezende, Susanna F., Meir, Or, Nordström, Jakob, Robere, Robert
Published in Computational complexity (01.06.2021)
Published in Computational complexity (01.06.2021)
Get full text
Journal Article
KRW Composition Theorems via Lifting
de Rezende, Susanna F., Meir, Or, Nordstrom, Jakob, Pitassi, Toniann, Robere, Robert
Published in 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (01.11.2020)
Published in 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (01.11.2020)
Get full text
Conference Proceeding
Intersecting longest paths
de Rezende, Susanna F., Fernandes, Cristina G., Martin, Daniel M., Wakabayashi, Yoshiko
Published in Discrete mathematics (28.06.2013)
Published in Discrete mathematics (28.06.2013)
Get full text
Journal Article
Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
Get full text
Paper
Journal Article
Intersection of Longest Paths in a Graph
de Rezende, Susanna F., Fernandes, Cristina G., Martin, Daniel M., Wakabayashi, Yoshiko
Published in Electronic notes in discrete mathematics (01.12.2011)
Published in Electronic notes in discrete mathematics (01.12.2011)
Get full text
Journal Article
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
de Rezende, Susanna F, Nordström, Jakob, Risse, Kilian, Sokolov, Dmitry
Published in arXiv.org (02.12.2019)
Published in arXiv.org (02.12.2019)
Get full text
Paper
Journal Article
KRW Composition Theorems via Lifting
de Rezende, Susanna F, Or Meir, Nordström, Jakob, Pitassi, Toniann, Robere, Robert
Published in arXiv.org (27.01.2021)
Published in arXiv.org (27.01.2021)
Get full text
Paper
Journal Article
Clique Is Hard on Average for Regular Resolution
Atserias, Albert, Bonacina, Ilario, de Rezende, Susanna F, Lauria, Massimo, Nordström, Jakob, Razborov, Alexander
Published in arXiv.org (17.12.2020)
Published in arXiv.org (17.12.2020)
Get full text
Paper
Journal Article
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
de Rezende, Susanna F, Or Meir, Nordström, Jakob, Robere, Robert
Published in arXiv.org (08.01.2020)
Published in arXiv.org (08.01.2020)
Get full text
Paper
Journal Article
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
de Rezende, Susanna F, Or Meir, Nordström, Jakob, Pitassi, Toniann, Robere, Robert, Vinyals, Marc
Published in arXiv.org (07.01.2020)
Published in arXiv.org (07.01.2020)
Get full text
Paper
Journal Article