@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",
}