Byoungkwon An, Erik D. Demaine, Martin L. Demaine, Jason S. Ku. Computing 3SAT on a Fold-and-Cut Machine. In Joachim Gudmundsson, Michiel H. M. Smid, editors, Proceedings of the 29th Canadian Conference on Computational Geometry, CCCG 2017, July 26-28, 2017, Carleton University, Ottawa, Ontario, Canada. pages 208-213, 2017.
Abstract is missing.