From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Ingo Hans Pill, Thomas Quaritsch, Franz Wotawa

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 Finished
1 Active

2 results

Active
Artificial Intelligence & Applications
Pill, I. H., Wotawa, F. & Haase, V.
16/11/00 → …
Project: Research area
Finished
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Project: Research project