Positive planar satisfiability problems under 3-connectivity constraints

Md. Manzurul Hasan, Debajyoti Mondal, Md. Saidur Rahman 0001. Positive planar satisfiability problems under 3-connectivity constraints. Theoretical Computer Science, 917:81-93, 2022. [doi]

Abstract

Abstract is missing.