Tractable Unordered 3-CNF Games

Md Lutfar Rahman, Thomas Watson 0001. Tractable Unordered 3-CNF Games. In Yoshiharu Kohayakawa, Flávio Keidi Miyazawa, editors, LATIN 2020: Theoretical Informatics - 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings. Volume 12118 of Lecture Notes in Computer Science, pages 360-372, Springer, 2020. [doi]

Abstract

Abstract is missing.