Show simple item record

dc.contributor.authorCodish, M
dc.contributor.authorGenaim, S
dc.contributor.authorStuckey, PJ
dc.date.available2014-05-21T19:46:47Z
dc.date.issued2009-11-30
dc.identifier.citationCodish, M., Genaim, S. & Stuckey, P. J. (2009). A declarative encoding of telecommunications feature subscription in SAT. PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp.255-265. ACM Press. https://doi.org/10.1145/1599410.1599442.
dc.identifier.isbn9781605585680
dc.identifier.urihttp://hdl.handle.net/11343/26746
dc.descriptionF1 - Full Written Papers Refereed
dc.formatapplication/pdf
dc.publisherACM Press
dc.sourcethe 11th ACM SIGPLAN conference
dc.subjectComputer Software not elsewhere classified; Computer Software and Services not elsewhere classified
dc.titleA declarative encoding of telecommunications feature subscription in SAT
dc.typeConference Paper
dc.identifier.doi10.1145/1599410.1599442
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science And Software Engineering
melbourne.source.titlePPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
melbourne.source.pages255-265
dc.research.codefor080399
dc.research.codeseo2008890299
melbourne.publicationid131771
melbourne.elementsid314235
melbourne.contributor.authorStuckey, Peter
melbourne.internal.ingestnoteAbstract bulk upload (2017-07-20)
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