TY - RPRT TI - Randomized feasible interpolation and monotone circuits with a local oracle AU - Jan Krajicek PY - 2018 DO - 10.1142/s0219061318500125 UR - https://arxiv.org/abs/1611.08680 ID - 1611.08680 ER -