Jan Bydzovsky, Jan Krajícek, Igor Carboni Oliveira. Consistency of circuit lower bounds with bounded theories. Logical Methods in Computer Science, 16(2), 2020. [doi]
@article{BydzovskyKO20,
title = {Consistency of circuit lower bounds with bounded theories},
author = {Jan Bydzovsky and Jan Krajícek and Igor Carboni Oliveira},
year = {2020},
url = {https://lmcs.episciences.org/6576},
researchr = {https://researchr.org/publication/BydzovskyKO20},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {16},
number = {2},
}