Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

Re-assign community