Finding all minimal unsatisfiable subsets

Maria Jose Garcia De La Banda; Peter J Stuckey; Jeremy Wazny

Finding all minimal unsatisfiable subsets

Maria Jose Garcia De La Banda, Peter J Stuckey, Jeremy Wazny

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

Original language	English
Title of host publication	Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming
Editors	Dale Miller
Place of Publication	New York USA
Publisher	Association for Computing Machinery (ACM)
Pages	32 - 43
Number of pages	12
ISBN (Print)	1-58113-705-2
Publication status	Published - 2003
Event	International Conference on Principles and Practice of Declarative Programming 2003 - Uppsala SWEDEN, New York USA Duration: 1 Jan 2003 → …

Conference

Conference	International Conference on Principles and Practice of Declarative Programming 2003
City	New York USA
Period	1/01/03 → …

Cite this

@inproceedings{d37a4e17a97e45679cb1b17555f097c9,

title = "Finding all minimal unsatisfiable subsets",

author = "{Garcia De La Banda}, {Maria Jose} and Stuckey, {Peter J} and Jeremy Wazny",

year = "2003",

language = "English",

isbn = "1-58113-705-2",

pages = "32 -- 43",

editor = "Dale Miller",

booktitle = "Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming",

publisher = "Association for Computing Machinery (ACM)",

address = "United States of America",

note = "International Conference on Principles and Practice of Declarative Programming 2003 ; Conference date: 01-01-2003",

}

Garcia De La Banda, MJ , Stuckey, PJ & Wazny, J 2003, Finding all minimal unsatisfiable subsets. in D Miller (ed.), Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), New York USA, pp. 32 - 43, International Conference on Principles and Practice of Declarative Programming 2003, New York USA, 1/01/03.

Finding all minimal unsatisfiable subsets. / Garcia De La Banda, Maria Jose ; Stuckey, Peter J; Wazny, Jeremy.

Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. ed. / Dale Miller. New York USA : Association for Computing Machinery (ACM), 2003. p. 32 - 43.

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

TY - GEN

T1 - Finding all minimal unsatisfiable subsets

AU - Garcia De La Banda, Maria Jose

AU - Stuckey, Peter J

AU - Wazny, Jeremy

PY - 2003

Y1 - 2003

M3 - Conference Paper

SN - 1-58113-705-2

SP - 32

EP - 43

BT - Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming

A2 - Miller, Dale

PB - Association for Computing Machinery (ACM)

CY - New York USA

T2 - International Conference on Principles and Practice of Declarative Programming 2003

Y2 - 1 January 2003

ER -