脊戸 和寿  Seto Kazuhisa

Theoretical Computer Science

巻: 979 ページ: 114183-114183

10.1016/j.tcs.2023.114183

Lecture Notes in Computer Science

巻: 13973 ページ: 127-138

10.1007/978-3-031-27051-2_12

Leibniz International Proceedings in Informatics

巻: 259

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E105.A 号: 9 ページ: 1298-1308

10.1587/transfun.2021EAP1120

Lecture Notes in Computer Science

巻: 13584 ページ: 421-435

10.1007/978-3-031-15714-1_24

Proceedings of the 28th International Conference on Computing and Combinatorics, COCOON 2022

巻: - ページ: 292-304

10.1007/978-3-031-22105-7_26

Theory of Computing Systems

巻: 64 号: 8 ページ: 1392-1407

10.1007/s00224-020-09996-3

Journal of Computer and System Sciences

巻: 印刷中 ページ: 87-103

10.1016/j.jcss.2019.04.004

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E99.A 号: 6 ページ: 1019-1024

10.1587/transfun.E99.A.1019

130005154212

IEICE Transactions on Information and Systems

巻: E98-D(10)

130005101307

Interdisciplinary Information Sciences

巻: 21 号: 4 ページ: 307-328

10.4036/iis.2015.L.02

110009992968

Theory Comput. Syst.

巻: 57(2) 号: 2 ページ: 426-443

10.1007/s00224-014-9600-6

Theory and Applications of Satisfiability Testing (SAT 2014)

巻: 8561 ページ: 32-47

10.1007/978-3-319-09284-3_4

120005576220

Algorithmica

巻: 未定 号: 2 ページ: 112-124

10.1007/s00453-012-9741-4

Computational Complexity

巻: 22(2) 号: 2 ページ: 245-274

10.1007/s00037-013-0067-7

120005474485

Proceedings of the 27th IEEE Conference on Computational Complexity

巻: (to appear)

110009588450

Proceedings of the 21^<st> International Symposium on Algorithms and Computation, LNCS

巻: 6506 ページ: 73-84

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E93-A(6) ページ: 1000-1007

10026864512