On the relation between simulation-based and SAT-based diagnosis.

Grschwin Fey, Sean Safarpour, Andreas G. Veneris, Rolf Drechsler

Browse the full DATE paper archive.