Erdős-Selfridge Theorem for Nonmonotone CNFs

Md Lutfar Rahman, Thomas Watson

In an influential paper, Erdős and Selfridge introduced the Maker-Breaker game played on a hypergraph, or equivalently, on a monotone CNF. The players take turns assigning values t…