タイトル:解の再利用によるテスト生成のためのハードウェアSATソルバの実装

著者: 向井俊矢, 上田健司, 岩垣剛, 市原英行, 井上智生

雑誌名:信学技報 (DC2012-80)

Volume: 112

Number: 429

ページ: 1-6

発行月: 2

発行年: 2013

タイプ: techreport

外部リンク: http://www.ieice.org/ken/paper/201302131B16/