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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	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
Editors	Luc de Raedt
Publisher	IOS Press
Pages	648-653
Volume	242
ISBN (Print)	978-1-61499-097-0
DOIs	https://doi.org/10.3233/978-1-61499-098-7-648
Publication status	Published - 2012
Event	20th European Conference on Artificial Intelligence: ECAI 2012 - Montpellier, France Duration: 27 Aug 2012 → 31 Aug 2012

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press

Conference

Conference	20th European Conference on Artificial Intelligence
Country/Territory	France
City	Montpellier
Period	27/08/12 → 31/08/12

Fields of Expertise

Information, Communication & Computing

Access to Document

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

Cite this

Pill, I. H., & Quaritsch, T. (2012). Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. In L. D. Raedt (Ed.), 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 (Vol. 242, pp. 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. ed. / Luc de Raedt. Vol. 242 IOS Press, 2012. p. 648-653 (Frontiers in Artificial Intelligence and Applications).

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

Pill, IH & Quaritsch, T 2012, Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. in LD Raedt (ed.), 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. vol. 242, Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 648-653, 20th European Conference on Artificial Intelligence, Montpellier, France, 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, editor, 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. Vol. 242. IOS Press. 2012. p. 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. editor / Luc de Raedt. Vol. 242 IOS Press, 2012. pp. 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

Publication series

Conference

Fields of Expertise

Access to Document

Other files and links

Artificial Intelligence & Applications

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

Cite this

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets

Publication series

Conference

Fields of Expertise

Access to Document

Other files and links

Projects

Artificial Intelligence & Applications

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

Cite this