 |
Telecommunications Feature Subscription as a Partial Order Constraint Problem
Michael Codish, Vitaly Lagoon and Peter Stuckey
Twenty Fourth International Conference on Logic Programming;
2008
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.Available: bibtex entry pdf
Related sites: random data instances random data instances from CP08 paper a version with additional experiments
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il