A declarative encoding of telecommunications feature subscription in SAT

    Thumbnail
    Citations
    Scopus
    Web of Science
    Altmetric
    6
    5
    Author
    Codish, M; Genaim, S; Stuckey, PJ
    Date
    2009-11-30
    Source Title
    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
    Publisher
    ACM Press
    University of Melbourne Author/s
    Stuckey, Peter
    Affiliation
    Computer Science And Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    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 repository
    URI
    http://hdl.handle.net/11343/26746
    DOI
    10.1145/1599410.1599442
    Description

    F1 - Full Written Papers Refereed
    Keywords
    Computer Software not elsewhere classified; Computer Software and Services not elsewhere classified

    Export Reference in RIS Format     

    Collections