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

Ingo Pill; Thomas Quaritsch; Franz Wotawa

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

Ingo Pill, Thomas Quaritsch, Franz Wotawa

Publikation: Konferenzbeitrag › Papier › Begutachtung

Originalsprache	Englisch
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	22nd International Workshop on Principles of Diagnosis ; Conference date: 04-10-2011 Through 07-10-2011 - Dauer: 4 Okt. 2011 → 7 Aug. 2012 http://dx11.in.tum.de

Konferenz

Konferenz	22nd International Workshop on Principles of Diagnosis ; Conference date: 04-10-2011 Through 07-10-2011
Zeitraum	4/10/11 → 7/08/12
Internetadresse	http://dx11.in.tum.de

Dieses zitieren

@conference{7e26d358ccbc4da3b81f8aef7a8cc5ad,

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

author = "Ingo Pill and Thomas Quaritsch and Franz Wotawa",

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

year = "2011",

language = "English",

url = "http://dx11.in.tum.de",

}

TY - CONF

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

AU - Pill, Ingo

AU - Quaritsch, Thomas

AU - Wotawa, Franz

N1 - 22nd International Workshop on Principles of Diagnosis ; Conference date: 04-10-2011 Through 07-10-2011

PY - 2011

Y1 - 2011

M3 - Paper

T2 - 22nd International Workshop on Principles of Diagnosis ; Conference date: 04-10-2011 Through 07-10-2011

Y2 - 4 October 2011 through 7 August 2012

ER -