Polynomial-Time Reductions from 3SAT to Kurotto and Juosan Puzzles Iwamoto, Chuzo ; Ibusuki, Tatsuaki Abstract Publication: IEICE Transactions on Information and Systems Pub Date: March 2020 DOI: 10.1587/transinf.2019FCP0004 Bibcode: 2020IEITI.103..500I