Pich, Jan

1. Beyond Natural Proofs: Hardness Magnification and Locality
   2019/11/19 by Lijie Chen, Shuichi Hirahara, Chen, Lijie +9 · 3 citations
   Computer Science · Engineering · #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Cryptography and Data Security #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Low-power high-performance VLSI design
2. Towards P≠NP from Extended Frege lower bounds
   2023/12/13 by Ján Pich, Rahul Santhanam, Pich, Jan +1 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge