Title:Effective Orderings of Instances and Variable Assignments in SAT-based ATPG with Solution Reuse
Authors: Kenji Ueda, Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue
Jounrnals:IEICE Technical Report (DC2012-49)
Volume: 112
Number: 321
Pages: 141-146
Published Month: 11
Published Year: 2012
Type: techreport
Reference: http://www.ieice.org/ken/paper/20121127Q0YP/