Computing MUS-Based Inconsistency Measures.

Isabelle Kuhlmann, Andreas Niskanen, Matti Jrvisalo

Browse the full JELIA paper archive.