On Planar 3-SAT and its Variants
https://www.mi.fu-berlin.de/inf/groups/ag-ti/theses/download/Tippenhauer16.pdf
平面 3 SAT
とその変種について
Simon Tippenhauer によるベルリン自由大学 (Freien Universität Berlin) の修士論文(Masterarbeit)
色んな
3 SAT
についてまとめたサーベイ論文
cross over gadget
の図の出所
用語
上界
（
bounded
）の出所