André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler. Evaluation of Cardinality Constraints on SMT-Based Debugging. In ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan. pages 298-303, IEEE Computer Society, 2009. [doi]
Abstract is missing.