Tractable Unordered 3-CNF Games

Md Lutfar Rahman, Thomas Watson 0001. Tractable Unordered 3-CNF Games. Computational Complexity, 34(2):12, December 2025. [doi]

Abstract

Abstract is missing.