Built-In Speed Grading with a Process-Tolerant ADPLL. - Hsuan-Jung Hsu; Chun-Chieh Tu; Shi-Yu Huang (ATS, 2007)