Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
Author
Bailey, J; Stuckey, PJEditor
Hermenegildo, M; Cabeza, DDate
2005-01-01Source Title
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGSPublisher
SPRINGER-VERLAG BERLINAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
Bailey, J. & Stuckey, P. J. (2005). Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. Hermenegildo, M (Ed.) Cabeza, D (Ed.) PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 3350, pp.174-186. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/978-3-540-30557-6_14.Access Status
This item is currently not available from this repositoryDescription
International Symposium on Practical Applications of Declarative Languages
Keywords
Artificial Intelligence and Image ProcessingExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References