General Conference of the Institute of Electronics, Information and Communication Engineers
Advanced Search

Presentation Information

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

〇Yoshinobu Tateno1, Yoichi Wakaba1 (1. National Institute of Technology, Kisarazu College)

Keywords:

SAT-based Constraint Solver,Constraint Satisfication Problems,Numberlink,Placement and Routing

Password required to view

Back to Session information