@inproceedings{349bd758acfc4aa9b69086b4af84a142,

title = "Telecommunications feature subscription as a partial order constraint problem",

abstract = "This paper describes the application of a partial order constraint solver to a telecommunications feature subscription configuration problem. Partial order constraints are encoded to propositional logic and solved using a state-of-the-art Boolean satisfaction solver. The encoding is based on a symbol-based approach: symbols are viewed as variables which take integer values and are interpreted as indices in the order. Experimental evaluation indicates that partial order constraints are a viable alternative to previous solutions which apply constraint programming techniques and integer linear programming.",

author = "Michael Codish and Vitaly Lagoon and Stuckey, {Peter J.}",

year = "2008",

month = dec,

day = "1",

doi = "10.1007/978-3-540-89982-2_70",

language = "English",

isbn = "3540899812",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "749--753",

booktitle = "Logic Programming - 24th International Conference, ICLP 2008, Proceedings",

note = "24th International Conference on Logic Programming, ICLP 2008 ; Conference date: 09-12-2008 Through 13-12-2008",

}