Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability

ジャーナル論文 - rm_published_papers: International Conference Proceedings

査読済み

The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023), ページ294-302

11/2023

ファイルとリンク (2)

url

https://doi.org/10.1109/ICTAI59109.2023.00050表示

is_downloadable: False

url

https://researchmap.jp/7000009860/research_projects/33388104表示

1 レコードビュー

タイトル: Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability
作成者 – 役職なし: Takahisa TODA
出版物に関する詳細: The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023), ページ294-302
ID: 991002551359307421
組織: The University of Electro-Communications
言語: 英語
資料タイプ: ジャーナル論文
リソースのサブタイプ: rm_published_papers: International Conference Proceedings