Variable Ordering for Fast Top-Down ZDD Construction Using Novel Beam Search-Based Algorithms and Local Search

Variable Ordering for Fast Top-Down ZDD Construction Using Novel Beam Search-Based Algorithms and Local Search

Hiroto Hase

生駒 : 奈良先端科学技術大学院大学, 2021.3

学位論文

巻号情報

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R016972

詳細情報

刊年

2021

別書名

ビームサーチと局所探索によるフロンティア法を高速化するための変数順序付け

シリーズ名

奈良先端科学技術大学院大学先端科学技術研究科修士論文 ; 2021/3/1

注記

学位記番号: 修第8416号

学位授与年月日: 2021/03/31

学位の種類: 修士(工学)

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

長谷, 洋斗 (ハセ, ヒロト) [ Hase, Hiroto ]

件名

Variable order

Linear width

Frontier-based search

Zero-suppressed binary decision diagram (ZDD)

Beam search

Local search