3 citations · 3 across the 1 of their papers we have counts for
1 paper
Igor C. Oliveira
We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent…