Showing 1 - 2 results of 2 for search 'Igor C. Oliveira', query time: 0.02s
Refine Results
-
1
Unprovability of circuit upper bounds in Cook's theory PV by Jan Krajicek, Igor C. Oliveira
Published 2017-02-01
Article -
2
Consistency of circuit lower bounds with bounded theories by Jan Bydzovsky, Jan Krajicek, Igor C. Oliveira
Published 2020-06-01
Article