Randomized feasible interpolation and monotone circuits with a local oracle
scientific article; zbMATH DE number 6996246
scientific article