査読有り 2020年5月 Exponential-time quantum algorithms for graph coloring problems Proceedings of the Latin American Theoretical Informatics (LATIN'20) Kazuya Shimizu, Ryuhei Mori 巻 12118 号 開始ページ 387 終了ページ 398 エクスポート BibTeX RIS