André Sülflow Görschwin Fey Roderick Bloem Rolf Drechsler Using unsatisfiable cores to debug multiple design errors. 77-82 2008 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1366110.1366131 conf/glvlsi/2008 db/conf/glvlsi/glvlsi2008.html#SulflowFBD08