Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

    Thumbnail
    Citations
    Scopus
    Altmetric
    130
    Author
    Bailey, J; Stuckey, PJ
    Editor
    Hermenegildo, M; Cabeza, D
    Date
    2005-01-01
    Source Title
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS
    Publisher
    SPRINGER-VERLAG BERLIN
    University of Melbourne Author/s
    Bailey, James; Stuckey, Peter
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    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 repository
    URI
    http://hdl.handle.net/11343/31923
    DOI
    10.1007/978-3-540-30557-6_14
    Description

    International Symposium on Practical Applications of Declarative Languages
    Keywords
    Artificial Intelligence and Image Processing

    Export Reference in RIS Format     

    Collections