Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability
Santhanam, R
Published in 2010 IEEE 51st Annual Symposium on Foundations of Computer Science (01.10.2010)
Published in 2010 IEEE 51st Annual Symposium on Foundations of Computer Science (01.10.2010)
Get full text
Conference Proceeding
Why are Proof Complexity Lower Bounds Hard?
Pich, Jan, Santhanam, Rahul
Published in 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) (01.11.2019)
Published in 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) (01.11.2019)
Get full text
Conference Proceeding
On the Range Avoidance Problem for Circuits
Ren, Hanlin, Santhanam, Rahul, Wang, Zhikun
Published in 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) (01.10.2022)
Published in 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) (01.10.2022)
Get full text
Conference Proceeding
Hardness Magnification for Natural Problems
Carboni Oliveira, Igor, Santhanam, Rahul
Published in 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS) (01.10.2018)
Published in 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS) (01.10.2018)
Get full text
Conference Proceeding
On Medium-Uniformity and Circuit Lower Bounds
Santhanam, Rahul, Williams, Ryan
Published in 2013 IEEE Conference on Computational Complexity (01.06.2013)
Published in 2013 IEEE Conference on Computational Complexity (01.06.2013)
Get full text
Conference Proceeding
Constructive Separations and Their Consequences
Chen, Lijie, Jin, Ce, Santhanam, Rahul, Williams, R. Ryan
Published in 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (01.02.2022)
Published in 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (01.02.2022)
Get full text
Conference Proceeding
Polynomial-Time Pseudodeterministic Construction of Primes
Chen, Lijie, Lu, Zhenjian, Oliveira, Igor C., Ren, Hanlin, Santhanam, Rahul
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