TCS / Research / Publications / Non-Clausal SAT and ATPG
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.