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