Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, and Takaaki Mizuki, “Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle,” Information and Computation, Vol.285(B), 14pages (May., 2022).