Finding Guaranteed MUSes Fast

H van Maaren; S. Wieringa

Finding Guaranteed MUSes Fast

H van Maaren, S. Wieringa

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

32 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Theory and Applications of Satisfiability Testing SAT 2008
Editors	H Kleine Buning, X Zhao
Place of Publication	Berlin/Heidelberg
Publisher	Springer
Pages	291-304
Number of pages	14
ISBN (Print)	978-3-540-79718-0
Publication status	Published - 2008

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	4996
ISSN (Print)	0302-9743

Keywords

CWTS 0.75 <= JFIS < 2.00

Cite this

@inproceedings{4451d1efdbb74bf1af31369909d60c82,

title = "Finding Guaranteed MUSes Fast",

keywords = "CWTS 0.75 <= JFIS < 2.00",

author = "{van Maaren}, H and S. Wieringa",

year = "2008",

language = "Undefined/Unknown",

isbn = "978-3-540-79718-0",

publisher = "Springer",

pages = "291--304",

editor = "{Kleine Buning}, H and X Zhao",

booktitle = "Theory and Applications of Satisfiability Testing SAT 2008",

}

Finding Guaranteed MUSes Fast. / van Maaren, H; Wieringa, S.
Theory and Applications of Satisfiability Testing SAT 2008. ed. / H Kleine Buning; X Zhao. Berlin/Heidelberg: Springer, 2008. p. 291-304 (Lecture Notes in Computer Science; Vol. 4996).

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

TY - GEN

T1 - Finding Guaranteed MUSes Fast

AU - van Maaren, H

AU - Wieringa, S.

PY - 2008

Y1 - 2008

KW - CWTS 0.75 <= JFIS < 2.00

UR - http://www.springerlink.com/content/0542gp2049717132

M3 - Conference contribution

SN - 978-3-540-79718-0

SP - 291

EP - 304

BT - Theory and Applications of Satisfiability Testing SAT 2008

A2 - Kleine Buning, H

A2 - Zhao, X

PB - Springer

CY - Berlin/Heidelberg

ER -

Finding Guaranteed MUSes Fast

Publication series

Keywords

Other files and links

Cite this