IEICE Technical Report

Online edition: ISSN 2432-6380

Volume 122, Number 414

Theoretical Foundations of Computing

Workshop Date : 2023-03-02 / Issue Date : 2023-02-23

[PREV] [NEXT]

[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

COMP2022-33
Finding Forcing on ZDD by Dynamic Programming
Takashi Harada, Shogo Takeuchi (Kochi Univ. of Tech.)
pp. 1 - 6

COMP2022-34
A trial on estimating the volume of n-dimensional polytope using the multivariate Laplace transformation
Ei Ando (Senshu Univ.), Christian Engels (NII)
pp. 7 - 14

COMP2022-35
[Invited Talk] Combinatorial reconfiguration from the topological viewpoint
Yuta Nozaki (Hiroshima Univ.)
p. 15

COMP2022-36
Correcting the algorithm for a minimum secure dominating set of proper interval graphs
Toru Araki, Ryuya Saito (Gunma Univ.)
pp. 16 - 20

COMP2022-37
When Input Integers are Given in the Unary Numeral Representation -- (Preliminary Report) --
Tomoyuki Yamakami (U of Fukui)
pp. 21 - 27

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan