MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis.

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz

Browse the full IJCAI paper archive.