Title：A Hardware Implementation of a SAT Solver for Test Generation with Solution Reuse
Authors: Toshiya Mukai, Kenji Ueda, Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue
Jounrnals：IEICE Technical Report (DC2012-80)
Volume: 112
Number: 429
Pages: 1-6
Published Month: 2
Published Year: 2013
Type: techreport
Reference: http://www.ieice.org/ken/paper/201302131B16/
