@inbook{635e7076cbd24b2ebab8a8f006535fd2,
title = "Non-Clausal SAT and ATPG",
author = "Rolf Drechsler and Tommi Junttila and Ilkka Niemel{\"a}",
year = "2009",
doi = "10.3233/978-1-58603-929-5-655",
language = "English",
isbn = "978-1-58603-929-5",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
number = "1",
pages = "655--693",
editor = "Armin Biere and Heule, {Marijn J.H.} and {van Maaren}, Hans and Toby Walsh",
booktitle = "Handbook of Satisfiability",
address = "Netherlands",
}