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

Isabelle Kuhlmann Anna Gessler Vivien Laszlo Matthias Thimm

Published in: CoRR (2023)

Keyphrases

orders of magnitude
computational efficiency
evolutionary algorithm
significant improvement
computationally efficient
learning algorithm
computational complexity
optimization problems
social networks
search algorithm
answer set programming
complexity analysis