Zeev Dvir, “On Matrix Rigidity and Locally Self-correctable Codes”, comput. complex., 20, no. 2, 2011, 367
Mathias Soeken, Luca Gaetano Amaru, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, “Exact Synthesis of Majority-Inverter Graphs and Its Applications”, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 36, no. 11, 2017, 1842
Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, 3153, Mathematical Foundations of Computer Science 2004, 2004, 334
Rahul Ilango, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023, 733
Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler, “Computer-Aided Verification of P/NP Proofs: A Survey and Discussion”, IEEE Access, 12, 2024, 13513
Igor Carboni Oliveira, Rahul Santhanam, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), 2018, 65
B. Juba, Closed Loop Neuroscience, 2016, 131
Rahul Santhanam, 6158, Programs, Proofs, Processes, 2010, 372
Moni Naor, Omer Reingold, “Number-theoretic constructions of efficient pseudo-random functions”, J. ACM, 51, no. 2, 2004, 231
Scott Aaronson, 2009 24th Annual IEEE Conference on Computational Complexity, 2009, 229