%0 Thesis %1 phd/dnb/Burchard18 %A Burchard, Jan %D 2018 %K %T Applying advanced SAT-based techniques to circuit testing.

@phdthesis{phd/dnb/Burchard18, added-at = {2023-12-13T07:22:52.000+0100}, author = {Burchard, Jan}, biburl = {https://www.bibsonomy.org/bibtex/269020fede0cc9ddd9cb9f2b3c7250229/admin}, ee = {http://d-nb.info/1165503220}, interhash = {b84bc7521dfbe4b2e42209790324fbe1}, intrahash = {69020fede0cc9ddd9cb9f2b3c7250229}, keywords = {}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2023-12-13T07:22:52.000+0100}, title = {Applying advanced SAT-based techniques to circuit testing.}, year = 2018 }