Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa

AB Feldman; G. Provan; J de Kleer; S Robert; AJC van Gemund

Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa

AB Feldman, G. Provan, J de Kleer, S Robert, AJC van Gemund

Data-Intensive Systems

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

Original language	English
Title of host publication	Proceedings 21st International Workshop on the Principles of Diagnosis (DX'10)
Editors	S Poll, J de Kleer, I Roychoudhury, M Daigle
Place of Publication	New York, NY, USA
Publisher	PHM Society
Pages	1-8
Number of pages	8
Publication status	Published - 2010
Event	21st International Workshop on the Principles of Diagnosis (DX'10) - New York, NY, USA Duration: 13 Oct 2010 → 16 Oct 2010

Publication series

Name
Publisher	PHM Society

Conference

Conference	21st International Workshop on the Principles of Diagnosis (DX'10)
Period	13/10/10 → 16/10/10

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{18ab16fe8eb44530983481f2e1e6e05b,

title = "Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa",

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

author = "AB Feldman and G. Provan and {de Kleer}, J and S Robert and {van Gemund}, AJC",

year = "2010",

language = "English",

publisher = "PHM Society",

pages = "1--8",

editor = "S Poll and {de Kleer}, J and I Roychoudhury and M Daigle",

booktitle = "Proceedings 21st International Workshop on the Principles of Diagnosis (DX'10)",

note = "21st International Workshop on the Principles of Diagnosis (DX'10) ; Conference date: 13-10-2010 Through 16-10-2010",

}

Feldman, AB, Provan, G, de Kleer, J, Robert, S & van Gemund, AJC 2010, Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa. in S Poll, J de Kleer, I Roychoudhury & M Daigle (eds), Proceedings 21st International Workshop on the Principles of Diagnosis (DX'10). PHM Society, New York, NY, USA, pp. 1-8, 21st International Workshop on the Principles of Diagnosis (DX'10), 13/10/10.

Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa. / Feldman, AB; Provan, G.; de Kleer, J et al.
Proceedings 21st International Workshop on the Principles of Diagnosis (DX'10). ed. / S Poll; J de Kleer; I Roychoudhury; M Daigle. New York, NY, USA: PHM Society, 2010. p. 1-8.

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

TY - GEN

T1 - Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa

AU - Feldman, AB

AU - Provan, G.

AU - de Kleer, J

AU - Robert, S

AU - van Gemund, AJC

PY - 2010

Y1 - 2010

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SP - 1

EP - 8

BT - Proceedings 21st International Workshop on the Principles of Diagnosis (DX'10)

A2 - Poll, S

A2 - de Kleer, J

A2 - Roychoudhury, I

A2 - Daigle, M

PB - PHM Society

CY - New York, NY, USA

T2 - 21st International Workshop on the Principles of Diagnosis (DX'10)

Y2 - 13 October 2010 through 16 October 2010

ER -