Linear Planar 3-SAT

Victorien Desbois, Ocan Sankur, François Schwarzentruber. Linear Planar 3-SAT. Theoretical Computer Science, 1071:115834, 2026. [doi]

Abstract

Abstract is missing.