Jan Burchard. Applying advanced SAT-based techniques to circuit testing. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2018. [doi]
@phdthesis{dnb-21465,
title = {Applying advanced SAT-based techniques to circuit testing},
author = {Jan Burchard},
year = {2018},
url = {http://d-nb.info/1165503220},
researchr = {https://researchr.org/publication/dnb-21465},
cites = {0},
citedby = {0},
school = {University of Freiburg, Freiburg im Breisgau, Germany},
}