詳細情報

刊年

2007

別書名

Non-chronologicalバックトラッキング及びclauseレコーディングを用いるハードウェアSATソルバ

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2007年3月

注記

学位記番号: 修第3591号

授与年月日: 2007/03/23

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

学生番号: 0551102

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

平本, 新哉 (ヒラモト, シンヤ)

件名

SAT

reconfigurable computing

hardware implementation

non-chronological backtracking

clause recording