TY - RPRT TI - An Optimal Algorithm for Certifying Monotone Functions AU - Meghal Gupta AU - Naren Sarayu Manoj PY - 2022 UR - https://arxiv.org/abs/2204.01224 ID - 2204.01224 ER -