Non-Clausal SAT and ATPG

Reference:

Rolf Drechsler, Tommi Junttila, and Ilkka Niemelä. Non-clausal SAT and ATPG. In Armin Biere, Marijn J. H. Heule, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, chapter 21, pages 655–693. IOS Press, February 2009.

Suggested BibTeX entry:

@incollection{DJN09HBSAT,
    author = {Rolf Drechsler and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Handbook of Satisfiability},
    chapter = {21},
    editor = {Biere, Armin and Heule, Marijn J. H. and van Maaren, Hans and Walsh, Toby},
    month = {February},
    pages = {655-693},
    publisher = {IOS Press},
    series = {Frontiers in Artificial Intelligence and Applications},
    title = {Non-Clausal {SAT} and {ATPG}},
    volume = {185},
    year = {2009},
}