Show simple item record

dc.contributor.authorSchutt, A
dc.contributor.authorStuckey, PJ
dc.date.available2014-05-21T22:50:29Z
dc.date.issued2010-09-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000283842100003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationSchutt, 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.
dc.identifier.issn1091-9856
dc.identifier.urihttp://hdl.handle.net/11343/29288
dc.languageEnglish
dc.publisherINFORMS
dc.subjectArtificial Intelligence and Image Processing
dc.titleIncremental Satisfiability and Implication for UTVPI Constraints
dc.typeJournal Article
dc.identifier.doi10.1287/ijoc.1090.0369
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleINFORMS JOURNAL ON COMPUTING
melbourne.source.volume22
melbourne.source.issue4
melbourne.source.pages514-527
dc.research.codefor801
dc.description.pagestart514
melbourne.publicationid149590
melbourne.elementsid325743
melbourne.contributor.authorStuckey, Peter
melbourne.contributor.authorSCHUTT, ANDREAS
melbourne.internal.ingestnoteAbstract bulk upload (2017-07-20)
dc.identifier.eissn1526-5528
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record