Görschwin Fey, Sean Safarpour, Andreas G. Veneris, Rolf Drechsler
On the relation between simulation-based and SAT-based diagnosis
DATE, 2006.
@inproceedings{DATE-2006-FeySVD,
author = "Görschwin Fey and Sean Safarpour and Andreas G. Veneris and Rolf Drechsler",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131796",
pages = "1139--1144",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{On the relation between simulation-based and SAT-based diagnosis}",
year = 2006,
}