iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/lmcs/BydzovskyKO20.xml
Jan Bydzovsky Jan Krajícek Igor C. Oliveira Consistency of circuit lower bounds with bounded theories. 2020 16 Log. Methods Comput. Sci. 2 https://doi.org/10.23638/LMCS-16(2:12)2020 db/journals/lmcs/lmcs16.html#BydzovskyKO20