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

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

Originalsprache	englisch
Titel	22nd International Workshop on Principles of Diagnosis
Herausgeber (Verlag)	.
Seiten	203-210
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	22nd International Workshop on Principles of Diagnosis - Murnau, Deutschland Dauer: 4 Okt 2011 → 7 Okt 2011

Konferenz

Konferenz	22nd International Workshop on Principles of Diagnosis
Ort	Murnau, Deutschland
Zeitraum	4/10/11 → 7/10/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Basic - Fundamental (Grundlagenforschung)

Zugriff auf Dokument

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

1 Abschlussdatum
1 Laufend

Artificial Intelligence & Applications
Pill, I. H., Wotawa, F. & Haase, V.
16/11/00 → …
Projekt: Arbeitsgebiet
FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Projekt: Foschungsprojekt

Dieses zitieren

@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

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

Artificial Intelligence & Applications

FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen

Dieses zitieren