A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis

RF Abreu, AJC van Gemund

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

74 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09),
Editors	V Bulitko, C Beck
Place of Publication	California, USA
Publisher	American Association for Artificial Intelligence (AAAI)
Pages	2-9
Number of pages	8
ISBN (Print)	978-1-57735-433-8
Publication status	Published - 2009
Event	SARA 2009 - California, USA Duration: 7 Jul 2009 → 10 Jul 2009

Name
Publisher	AAAI press

Conference	SARA 2009
Period	7/07/09 → 10/07/09

Keywords

@inproceedings{0afa25e7b539497fb9574c12e5569f60,

title = "A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis",

keywords = "Conf.proc. > 3 pag",

author = "RF Abreu and {van Gemund}, AJC",

year = "2009",

language = "Undefined/Unknown",

isbn = "978-1-57735-433-8",

publisher = "American Association for Artificial Intelligence (AAAI)",

pages = "2--9",

editor = "V Bulitko and C Beck",

booktitle = "Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09),",

address = "United States",

note = "SARA 2009 ; Conference date: 07-07-2009 Through 10-07-2009",

}

A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. / Abreu, RF; van Gemund, AJC.
Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09),. ed. / V Bulitko; C Beck. California, USA: American Association for Artificial Intelligence (AAAI), 2009. p. 2-9.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis

AU - Abreu, RF

AU - van Gemund, AJC

PY - 2009

Y1 - 2009

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SN - 978-1-57735-433-8

SP - 2

EP - 9

BT - Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09),

A2 - Bulitko, V

A2 - Beck, C

PB - American Association for Artificial Intelligence (AAAI)

CY - California, USA

T2 - SARA 2009

Y2 - 7 July 2009 through 10 July 2009

ER -