André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Increasing the accuracy of SAT-based debugging
DATE, 2009.
@inproceedings{DATE-2009-SulflowFBKD,
author = "André Sülflow and Görschwin Fey and Cécile Braunstein and Ulrich Kühne and Rolf Drechsler",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1326--1331",
publisher = "{IEEE}",
title = "{Increasing the accuracy of SAT-based debugging}",
year = 2009,
}