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

Ingo Hans Pill; Thomas Quaritsch; Franz Wotawa

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

Original language	English
Title of host publication	22nd International Workshop on Principles of Diagnosis
Publisher	.
Pages	203-210
Publication status	Published - 2011
Event	22nd International Workshop on Principles of Diagnosis - Murnau, Deutschland Duration: 4 Oct 2011 → 7 Oct 2011

Conference

Conference	22nd International Workshop on Principles of Diagnosis
City	Murnau, Deutschland
Period	4/10/11 → 7/10/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Basic - Fundamental (Grundlagenforschung)

Cite this

@inproceedings{df46a9868f5b4a219f92cd7ebba7bc3f,

title = "From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms",

author = "Pill, {Ingo Hans} and Thomas Quaritsch and Franz Wotawa",

year = "2011",

language = "English",

pages = "203--210",

booktitle = "22nd International Workshop on Principles of Diagnosis",

publisher = ".",

note = "22nd International Workshop on Principles of Diagnosis ; Conference date: 04-10-2011 Through 07-10-2011",

}

TY - GEN

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

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

AU - Wotawa, Franz

PY - 2011

Y1 - 2011

UR - http://dx11.in.tum.de/

M3 - Conference paper

SP - 203

EP - 210

BT - 22nd International Workshop on Principles of Diagnosis

PB - .

T2 - 22nd International Workshop on Principles of Diagnosis

Y2 - 4 October 2011 through 7 October 2011

ER -

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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Artificial Intelligence & Applications

FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)

Cite this

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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Projects

Artificial Intelligence & Applications

FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)

Cite this