Incremental Satisfiability and Implication for UTVPI Constraints

    Thumbnail
    Citations
    Scopus
    Web of Science
    Altmetric
    19
    13
    Author
    Schutt, A; Stuckey, PJ
    Date
    2010-09-01
    Source Title
    Informs Journal on Computing
    Publisher
    INFORMS
    University of Melbourne Author/s
    Stuckey, Peter; SCHUTT, ANDREAS
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Journal Article
    Citations
    Schutt, A. & Stuckey, P. J. (2010). Incremental Satisfiability and Implication for UTVPI Constraints. INFORMS JOURNAL ON COMPUTING, 22 (4), pp.514-527. https://doi.org/10.1287/ijoc.1090.0369.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/29288
    DOI
    10.1287/ijoc.1090.0369
    Keywords
    Artificial Intelligence and Image Processing

    Export Reference in RIS Format     

    Collections