Optimizations for the Boolean Approach to Computing Minimal Hitting Sets

Ingo Hans Pill; Thomas Quaritsch

doi:10.3233/978-1-61499-098-7-648

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets

Ingo Hans Pill, Thomas Quaritsch

Institut für Softwaretechnologie (7160)

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

Originalsprache	englisch
Titel	ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track
Redakteure/-innen	Luc de Raedt
Herausgeber (Verlag)	IOS Press
Seiten	648-653
Band	242
ISBN (Print)	978-1-61499-097-0
DOIs	https://doi.org/10.3233/978-1-61499-098-7-648
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	20th European Conference on Artificial Intelligence: ECAI 2012 - Montpellier, Frankreich Dauer: 27 Aug. 2012 → 31 Aug. 2012

Publikationsreihe

Name	Frontiers in Artificial Intelligence and Applications
Herausgeber (Verlag)	IOS Press

Konferenz

Konferenz	20th European Conference on Artificial Intelligence
Land/Gebiet	Frankreich
Ort	Montpellier
Zeitraum	27/08/12 → 31/08/12

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

10.3233/978-1-61499-098-7-648

Andere Dateien und Links

1 Abgeschlossen
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: Forschungsprojekt

Dieses zitieren

Pill, I. H., & Quaritsch, T. (2012). Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. in L. D. Raedt (Hrsg.), ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track (Band 242, S. 648-653). (Frontiers in Artificial Intelligence and Applications). IOS Press. https://doi.org/10.3233/978-1-61499-098-7-648

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. / Pill, Ingo Hans; Quaritsch, Thomas.
ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Hrsg. / Luc de Raedt. Band 242 IOS Press, 2012. S. 648-653 (Frontiers in Artificial Intelligence and Applications).

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

Pill, IH & Quaritsch, T 2012, Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. in LD Raedt (Hrsg.), ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Bd. 242, Frontiers in Artificial Intelligence and Applications, IOS Press, S. 648-653, 20th European Conference on Artificial Intelligence, Montpellier, Frankreich, 27/08/12. https://doi.org/10.3233/978-1-61499-098-7-648

Pill IH, Quaritsch T. Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. in Raedt LD, Hrsg., ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Band 242. IOS Press. 2012. S. 648-653. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/978-1-61499-098-7-648

Pill, Ingo Hans ; Quaritsch, Thomas. / Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Hrsg. / Luc de Raedt. Band 242 IOS Press, 2012. S. 648-653 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{79f7344ba6d6492c8765d263c171d775,

title = "Optimizations for the Boolean Approach to Computing Minimal Hitting Sets",

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

year = "2012",

doi = "10.3233/978-1-61499-098-7-648",

language = "English",

isbn = "978-1-61499-097-0",

volume = "242",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "648--653",

editor = "Raedt, {Luc de}",

booktitle = "ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track",

address = "Netherlands",

note = "20th European Conference on Artificial Intelligence : ECAI 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

}

TY - GEN

T1 - Optimizations for the Boolean Approach to Computing Minimal Hitting Sets

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

PY - 2012

Y1 - 2012

UR - http://www.booksonline.iospress.nl/Content/View.aspx?piid=31572

UR - http://www.booksonline.iospress.nl/Content/View.aspx?piid=31686

U2 - 10.3233/978-1-61499-098-7-648

DO - 10.3233/978-1-61499-098-7-648

M3 - Conference paper

SN - 978-1-61499-097-0

VL - 242

T3 - Frontiers in Artificial Intelligence and Applications

SP - 648

EP - 653

BT - ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track

A2 - Raedt, Luc de

PB - IOS Press

T2 - 20th European Conference on Artificial Intelligence

Y2 - 27 August 2012 through 31 August 2012

ER -

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets

Publikationsreihe

Konferenz

Fields of Expertise

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Artificial Intelligence & Applications

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

Dieses zitieren