[TPO-1] ジュニア＆学生ポスターセッション

[TPO-1-216] SAT型制約ソルバーによる配置配線問題解法の改良と評価

〇立野 良長¹、若葉 陽一¹ (1. 木更津工業高等専門学校)

キーワード：

SAT型制約ソルバー、制約充足問題、ナンバーリンク、配置配線問題

閲覧にはパスワードが必要です