Algorithms for computing minimal unsatisfiable subsets of constraints

Mark H. Liffiton; Karem A. Sakallah

doi:10.1007/s10817-007-9084-z

Algorithms for computing minimal unsatisfiable subsets of constraints

Mark H. Liffiton, Karem A. Sakallah

Research output: Journal Article › Article › peer-review

Original language	English
Pages (from-to)	1-33
Number of pages	33
Journal	Journal of Automated Reasoning
Volume	40
Issue number	1
DOIs	https://doi.org/10.1007/s10817-007-9084-z
State	Published - Jan 2008
Externally published	Yes

ASJC Scopus Subject Areas

Software
Computational Theory and Mathematics
Artificial Intelligence

Keywords

CAMUS
Constraint satisfaction
Minimal unsatifiable subset

Access to Document

10.1007/s10817-007-9084-z

Cite this

@article{c8ba0ba4883a4cffa47fdc4337730462,

title = "Algorithms for computing minimal unsatisfiable subsets of constraints",

keywords = "CAMUS, Constraint satisfaction, Minimal unsatifiable subset",

author = "Liffiton, {Mark H.} and Sakallah, {Karem A.}",

year = "2008",

month = jan,

doi = "10.1007/s10817-007-9084-z",

language = "English",

volume = "40",

pages = "1--33",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

number = "1",

}

TY - JOUR

T1 - Algorithms for computing minimal unsatisfiable subsets of constraints

AU - Liffiton, Mark H.

AU - Sakallah, Karem A.

PY - 2008/1

Y1 - 2008/1

KW - CAMUS

KW - Constraint satisfaction

KW - Minimal unsatifiable subset

UR - http://www.scopus.com/inward/record.url?scp=36949028762&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=36949028762&partnerID=8YFLogxK

U2 - 10.1007/s10817-007-9084-z

DO - 10.1007/s10817-007-9084-z

M3 - Article

AN - SCOPUS:36949028762

SN - 0168-7433

VL - 40

SP - 1

EP - 33

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 1

ER -

Algorithms for computing minimal unsatisfiable subsets of constraints

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this