A declarative encoding of telecommunications feature subscription in SAT
Author
Codish, M; Genaim, S; Stuckey, PJDate
2009-11-30Source Title
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative ProgrammingPublisher
ACM PressUniversity of Melbourne Author/s
Stuckey, PeterAffiliation
Computer Science And Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperCitations
Codish, 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.Access Status
This item is currently not available from this repositoryDescription
F1 - Full Written Papers Refereed
Keywords
Computer Software not elsewhere classified; Computer Software and Services not elsewhere classifiedExport 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