Teruyama Junichi 照山順一

Researcher Number	40709862
Other IDs
Affiliation (Current)	2025: 兵庫県立大学, 情報科学研究科, 准教授 2025: 兵庫県立大学, 社会情報科学部, 助教
Affiliation (based on the past Project Information) *help	2022 – 2024: 兵庫県立大学, 情報科学研究科, 准教授 2019 – 2022: 兵庫県立大学, 情報科学研究科, 助教 2018 – 2021: 兵庫県立大学, 社会情報科学部, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related Except Principal Investigator Basic Section 60010:Theory of informatics-related / Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Transformative Research Areas, Section (IV)
Keywords	Principal Investigator 計算量理論 / k-Sub-SAT / k-CNF / 厳密アルゴリズム / 分岐プログラム / 充足可能性問題 / 計算複雑性 / 論理回路 / 回路計算量 Except Principal Investigator 動的フローネットワーク … More / 不確定的状況下での最適化 / 最適避難施設配置問題 / 最速避難流問題 / 形態デザイン / 分子動力学シミュレーション / たんぱく質構造解析 / 計算幾何 / 建築デザインへの応用 / 分子構造の粗視化モデル / アルゴリズム工学 / 計算幾何学 / 組合せ剛性理論 / SATソルバー / 配電切替 / 配電網の開閉器切替 / 二分決定グラフ / グラフアルゴリズム / 配電制御 / ゼロサプレス型二分決定グラフ / モデル検査 / SAT / ソルバー / 組合せ遷移 / 汎用的数理計画モデル / 数理最適化問題 / 動的ネットワークフロー Less

避難計画問題に潜む数理構造の解明
- Principal Investigator
  
  加藤直樹
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  University of Hyogo
組合せ剛性工学の実現に向けた理論基盤構築
- Principal Investigator
  
  東川雄哉
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  University of Hyogo
分岐プログラムに対する充足アルゴリズム構築による下界証明の研究Principal Investigator
- Principal Investigator
  
  照山順一
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  University of Hyogo
Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
- Principal Investigator
  
  KAWAHARA Jun
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (B)
- Review Section
  
  Transformative Research Areas, Section (IV)
- Research Institution
  Kyoto University
Establishing theoretical foundation of optimal evacuation planning based on dynamic networkflows
- Principal Investigator
  
  Katoh Naoki
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  University of Hyogo
On Exact Algorithms for Branching Program Satisfiability Problems by Approaches for Proving Lower BoundsPrincipal Investigator
- Principal Investigator
  
  Teruyama Junichi
- Project Period (FY)
  2018 – 2023
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  University of Hyogo

All 2023 2022 2021 2020 2019 2018

All Journal Article Presentation

[Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023
- Author(s)
  Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
- Journal Title
  
  Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
  
  Volume: - Pages: 294-302
- DOI
  10.1109/ictai59109.2023.00050
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] Sink Location Problems in Dynamic Flow Grid Networks2023
- Author(s)
  Yuya Higashikawa, Ayano Nishii, Junichi Teruyama, Yuki Tokuni
- Journal Title
  
  Proc. of the 29th International Computing and Combinatorics Conference (COCOON 2023)
  
  Volume: LNCS14422 Pages: 155-167
- DOI
  10.1007/978-3-031-49190-0_11
- ISBN
  9783031491894, 9783031491900
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-23K28039
[Journal Article] Faster Algorithms for Evacuation Problems in Networks with a Single Sink of Small Degree and Bounded Capacitated Edges2023
- Author(s)
  Yuki Tokuni, Katoh Naoki, Junichi Teruyama, Yuya Higashikawa
- Journal Title
  
  Proc. of the 16th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2023)
  
  Volume: LNCS14461 Pages: 29-42
- DOI
  10.1007/978-3-031-49611-0_3
- ISBN
  9783031496103, 9783031496110
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-23K28039
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda
- Journal Title
  
  Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)
  
  Volume: 13884 Pages: 1-17
- DOI
  10.1007/978-3-031-33271-5_12
- ISBN
  9783031332708, 9783031332715
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] Red-black dpanners for mixed-charging vehicular networks2023
- Author(s)
  Sergey Bereg, Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Yuki Tokuni, Binhai Zhu
- Journal Title
  
  Proc. of 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science
  
  Volume: 14422 Pages: 220-231
- DOI
  10.1007/978-3-031-49190-0_16
- ISBN
  9783031491894, 9783031491900
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] On Computing a?Center Persistence Diagram2023
- Author(s)
  Higashikawa Yuya、Katoh Naoki、Lin Guohui、Miyano Eiji、Tamaki Suguru、Teruyama Junichi、Zhu Binhai
- Journal Title
  
  Proc of 24th International Symposium on Fundamentals of Computation Theory
  
  Volume: LNCS 14292 Pages: 262-275
- DOI
  10.1007/978-3-031-43587-4_19
- ISBN
  9783031435867, 9783031435874
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11755, KAKENHI-PLANNED-20H05967, KAKENHI-PLANNED-20H05794
[Journal Article] A Satisfiability Algorithm for Deterministic Width-2 Branching Programs2022
- Author(s)
  Tomu MAKITA, Atsuki NAGAO, Tatsuki OKADA, Kazuhisa SETO, Junichi TERUYAMA
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E105.A Issue: 9 Pages: 1298-1308
- DOI
  10.1587/transfun.2021EAP1120
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2022-09-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11170, KAKENHI-PUBLICLY-21H05839, KAKENHI-PROJECT-21K11743, KAKENHI-PROJECT-20K19741, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05794
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Journal Title
  
  arXiv
  
  Volume: 2207.13959
- Open Access
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] Locating evacuation centers optimally in path and cycle networks2021
- Author(s)
  Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh, Junichi Teruyama
- Journal Title
  
  Proceedings of the 21th International Symposium on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS2021)
  
  Volume: OASIcs96
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04068
[Journal Article] Locating evacuation centers optimally in path and cycle networks2021
- Author(s)
  Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh, Junichi Teruyama
- Journal Title
  
  Proc. of 21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021), Open Access Series in Informatics
  
  Volume: 96
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] Almost linear time algorithms for minsum k-sink problems on dynamic flow path networks2021
- Author(s)
  Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Koji Watase
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 873 Pages: 87-113
- DOI
  10.1016/j.tcs.2021.05.003
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19746, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-19H04068
[Journal Article] Minmax Regret 1-Sink Location Problems on Dynamic Flow Path Networks with Parametric Weights2021
- Author(s)
  Tetsuya Fujie, Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Yuki Tokuni
- Journal Title
  
  Proceedings of the 15th International Conference and Workshops (WALCOM 2021)
  
  Volume: LNCS12635 Pages: 52-64
- DOI
  10.1007/978-3-030-68211-8_5
- ISBN
  9783030682101, 9783030682118
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19746, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-19H04068
[Journal Article] Satisfiability Algorithm for Syntactic Read-k-times Branching Programs2020
- Author(s)
  Atsuki Nagao, Kazuhisa Seto, and Junichi Teruyama
- Journal Title
  
  Theory of Computing Systems
  
  Volume: 64 Issue: 8 Pages: 1392-1407
- DOI
  10.1007/s00224-020-09996-3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11170, KAKENHI-PROJECT-18K18003, KAKENHI-PROJECT-20K19741
[Journal Article] Almost Linear Time Algorithms for Minsum k-Sink Problems on Dynamic Flow Path Networks2020
- Author(s)
  Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Koji Watase
- Journal Title
  
  Proceedings of the 14th Annual International Conference on Combinatorial Optimization and Applications (COCOA2020)
  
  Volume: LNCS12577 Pages: 198-213
- DOI
  10.1007/978-3-030-64843-5_14
- ISBN
  9783030648428, 9783030648435
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19746, KAKENHI-PROJECT-19H04068
[Journal Article] Bounded depth circuits with weighted symmetric gates: Satisfiability, lower bounds and compression2019
- Author(s)
  Sakai Takayuki、Seto Kazuhisa、Tamaki Suguru、Teruyama Junichi
- Journal Title
  
  Journal of Computer and System Sciences
  
  Volume: 印刷中 Pages: 87-103
- DOI
  10.1016/j.jcss.2019.04.004
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11164, KAKENHI-PROJECT-18K11170, KAKENHI-PROJECT-18K18003, KAKENHI-PROJECT-18H04090
[Journal Article] A Moderately Exponential Time Algorithm for k-IBDD Satisfiability2018
- Author(s)
  Nagao Atsuki、Seto Kazuhisa、Teruyama Junichi
- Journal Title
  
  Algorithmica
  
  Volume: 80 Issue: 10 Pages: 2725-2741
- DOI
  10.1007/s00453-017-0332-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K18003
[Presentation] 格子状の動的フローネットワークにおける避難施設配置問題2023
- Author(s)
  照山順一，戸國友貴，西井彩乃，東川雄哉
- Organizer
  夏のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] 格子状のネットワークにおける津波避難を想定した最速輸送問題2023
- Author(s)
  照山順一，戸國友貴，東川雄哉，山本杏珠紗
- Organizer
  夏のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] Efficient Algorithms for Quickest Transshipment Problems in Grid Networks Motivated by Tsunami Evacuation2023
- Author(s)
  Yuya Higashikawa, Junichi Teruyama, Yuki Tokuni, Azusa Yamamoto
- Organizer
  The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] Faster Algorithms for Evacuation Problems in Networks with a Single Sink of Small Degree and Bounded Capacitated Edges2023
- Author(s)
  Yuki Tokuni, Katoh Naoki, Junichi Teruyama, Yuya Higashikawa
- Organizer
  The 16th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023
- Author(s)
  Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
- Organizer
  35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] Faster Algorithms for Evacuation Problems in Networks with the Single Sink of Small Degree and Uniformly Capacitated Edges2023
- Author(s)
  Yuki Tokuni, Yuya Higashikawa, Naoki Katoh, Junichi Teruyama
- Organizer
  The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] Sink Location Problems in Dynamic Flow Grid Networks2023
- Author(s)
  Yuya Higashikawa, Ayano Nishii, Junichi Teruyama, Yuki Tokuni
- Organizer
  The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] Sink Location Problems in Dynamic Flow Grid Networks2023
- Author(s)
  Yuya Higashikawa, Ayano Nishii, Junichi Teruyama, Yuki Tokuni
- Organizer
  The 29th International Computing and Combinatorics Conference (COCOON 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28039
[Presentation] A ZDD-based solver for combinatorial reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  4th Combinatorial Reconfiguration Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDDを用いた組合せ遷移ソルバーについての考察2022
- Author(s)
  伊藤健洋, 川原純, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDDを用いた組合せ遷移ソルバー2022
- Author(s)
  伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 格子状の動的フローネットワークにおける避難施設配置問題2022
- Author(s)
  照山順一，戸國友貴，西井彩乃，東川雄哉
- Organizer
  情報処理学会アルゴリズム研究会
- Data Source
  KAKENHI-PROJECT-19H04068
[Presentation] 移動時間と容量が一定である辺を持つ双方向グリッドネットワークにおける最速避難問題2022
- Author(s)
  戸國友貴，加藤直樹，照山順一，東川雄哉
- Organizer
  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
- Data Source
  KAKENHI-PROJECT-19H04068
[Presentation] 有界モデル検査による独立集合遷移問題の解法に関する考察（On solving independent set reconfiguration problems with bounded model checking）2022
- Author(s)
  戸田貴久, 伊藤健洋, 川原純, 宋剛秀, 鈴木顕, 照山順一
- Organizer
  第186回アルゴリズム研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] A Moderately Exponential Time Satisfiability Algorithm for Linear-Sized Deterministic Width-2 Branching Programs2022
- Author(s)
  Tomu MAKITA, Atsuki NAGAO, Tatsuki OKADA, Kazuhisa SETO, Junichi TERUYAMA
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-18K18003
[Presentation] A Moderately Exponential Time Satisfiability Algorithm for Linear-Sized Deterministic Width-2 Branching Programs2022
- Author(s)
  Tomu MAKITA, Atsuki NAGAO, Tatsuki OKADA, Kazuhisa SETO, Junichi TERUYAMA
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-22K11910
[Presentation] Minmax Regret 1-Sink Location Problems on Dynamic Flow Path Networks with Parametric Weights2021
- Author(s)
  Tetsuya Fujie, Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Yuki Tokuni
- Organizer
  The 15th International Conference and Workshops on Algorithms and Computation (WALCOM 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04068
[Presentation] Locating evacuation centers optimally in path and cycle networks2021
- Author(s)
  Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh, Junichi Teruyama
- Organizer
  21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04068
[Presentation] 避難者数が媒介変数に依存する最大後悔最小化1-シンク配置問題2020
- Author(s)
  戸國友貴，加藤直樹，照山順一，東川雄哉，藤江哲也
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-19H04068
[Presentation] 避難者数が媒介変数に依存する最大後悔最小化1-シンク配置問題2020
- Author(s)
  戸國友貴，加藤直樹，照山順一，東川雄哉，藤江哲也
- Organizer
  オペレーションズ・リサーチ学会 2020年春季研究発表会
- Data Source
  KAKENHI-PROJECT-19H04068
[Presentation] Almost Linear Time Algorithms for Minsum k-Sink Problems on Dynamic Flow Path Networks2020
- Author(s)
  Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Koji Watase
- Organizer
  The 14th International Conference Combinatorial Optimization and Applications (COCOA 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04068

1. Katoh Naoki (40145826)

# of Collaborated Projects: 3 results

# of Collaborated Products: 9 results
2. 東川雄哉 (20749486)

# of Collaborated Projects: 3 results

# of Collaborated Products: 18 results
3. 瀧澤重志 (40304133)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. KAWAHARA Jun (20572473)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
5. 藤江哲也 (40305678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
6. 飯岡大輔 (30377808)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 戸田貴久 (50451159)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
8. 宋剛秀 (00625121)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
9. 鈴木顕 (10723562)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
10. 中畑裕 (50942067)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
11. 堀山貴史 (60314530)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. Sljoka Adnan (60796233)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 安田修悟 (70456797)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 小林祐貴 (70756668)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. SETO Kazuhisa

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
16. TAMAKI Suguru

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
17. 伊藤健洋

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
18. 長尾篤樹

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
19. 宮野英次

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Teruyama Junichi 照山 順一

Research Projects

Research Products

Co-Researchers

避難計画問題に潜む数理構造の解明

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

組合せ剛性工学の実現に向けた理論基盤構築

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

分岐プログラムに対する充足アルゴリズム構築による下界証明の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Establishing theoretical foundation of optimal evacuation planning based on dynamic networkflows

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

On Exact Algorithms for Branching Program Satisfiability Problems by Approaches for Proving Lower BoundsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Sink Location Problems in Dynamic Flow Grid Networks2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Faster Algorithms for Evacuation Problems in Networks with a Single Sink of Small Degree and Bounded Capacitated Edges2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Red-black dpanners for mixed-charging vehicular networks2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] On Computing a?Center Persistence Diagram2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A Satisfiability Algorithm for Deterministic Width-2 Branching Programs2022

Author(s)

Journal Title

DOI

ISSN

Teruyama Junichi 照山順一