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

Thesis / Diss.

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R016972

Details

Publication year

2021

Alternative title

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

Series title

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

Note

学位記番号: 修第8416号

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

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

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

Subject

Variable order

Linear width

Frontier-based search

Zero-suppressed binary decision diagram (ZDD)

Beam search

Local search