Telecommunications Feature Subscription as a Partial Order Constraint Problem

Michael Codish, Vitaly Lagoon and Peter Stuckey   

Twenty Fourth International Conference on Logic Programming; 2008


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

© copyright notice