Login / Signup
An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.
Isabelle Kuhlmann
Matthias Thimm
Published in:
SUM (2020)
Keyphrases
</>
answer set programming
computational complexity
optimal solution
artificial intelligence
objective function
np hard
orders of magnitude
tree decomposition