TY - RPRT TI - Optimal Short-Circuit Resilient Formulas AU - Mark Braverman AU - Klim Efremenko AU - Ran Gelles AU - Michael A. Yitayew PY - 2022 DO - 10.1145/3538390 UR - https://arxiv.org/abs/1807.05014 ID - 1807.05014 ER -