TY - RPRT TI - Erdős-Selfridge Theorem for Nonmonotone CNFs AU - Md Lutfar Rahman AU - Thomas Watson PY - 2022 UR - https://arxiv.org/abs/2201.00968 ID - 2201.00968 ER -