Telecommunications feature subscription as a partial order constraint problem

Michael Codish; Vitaly Lagoon; Peter J. Stuckey

doi:10.1007/978-3-540-89982-2_70

Telecommunications feature subscription as a partial order constraint problem

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

5 Citations (Scopus)

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.

Original language	English
Title of host publication	Logic Programming - 24th International Conference, ICLP 2008, Proceedings
Pages	749-753
Number of pages	5
DOIs	https://doi.org/10.1007/978-3-540-89982-2_70
Publication status	Published - 1 Dec 2008
Externally published	Yes
Event	International Conference on Logic Programming 2008 - Udine, Italy Duration: 9 Dec 2008 → 13 Dec 2008 Conference number: 24th https://link.springer.com/book/10.1007/978-3-540-89982-2 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5366 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Logic Programming 2008
Abbreviated title	ICLP 2008
Country/Territory	Italy
City	Udine
Period	9/12/08 → 13/12/08
Internet address	https://link.springer.com/book/10.1007/978-3-540-89982-2 (Proceedings)

Access to Document

10.1007/978-3-540-89982-2_70

Cite this

Codish, M., Lagoon, V., & Stuckey, P. J. (2008). Telecommunications feature subscription as a partial order constraint problem. In Logic Programming - 24th International Conference, ICLP 2008, Proceedings (pp. 749-753). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5366 LNCS). https://doi.org/10.1007/978-3-540-89982-2_70

@inproceedings{f3e216a71c2847cd904d197be0a1a59d,

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 = "International Conference on Logic Programming 2008, ICLP 2008 ; Conference date: 09-12-2008 Through 13-12-2008",

url = "https://link.springer.com/book/10.1007/978-3-540-89982-2",

}

Codish, M, Lagoon, V & Stuckey, PJ 2008, Telecommunications feature subscription as a partial order constraint problem. in Logic Programming - 24th International Conference, ICLP 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5366 LNCS, pp. 749-753, International Conference on Logic Programming 2008, Udine, Italy, 9/12/08. https://doi.org/10.1007/978-3-540-89982-2_70

Telecommunications feature subscription as a partial order constraint problem. / Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
Logic Programming - 24th International Conference, ICLP 2008, Proceedings. 2008. p. 749-753 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5366 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Telecommunications feature subscription as a partial order constraint problem

AU - Codish, Michael

AU - Lagoon, Vitaly

AU - Stuckey, Peter J.

N1 - Conference code: 24th

PY - 2008/12/1

Y1 - 2008/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=58549120419&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-89982-2_70

DO - 10.1007/978-3-540-89982-2_70

M3 - Conference Paper

AN - SCOPUS:58549120419

SN - 3540899812

SN - 9783540899815

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 749

EP - 753

BT - Logic Programming - 24th International Conference, ICLP 2008, Proceedings

T2 - International Conference on Logic Programming 2008

Y2 - 9 December 2008 through 13 December 2008

ER -

Codish M, Lagoon V, Stuckey PJ. Telecommunications feature subscription as a partial order constraint problem. In Logic Programming - 24th International Conference, ICLP 2008, Proceedings. 2008. p. 749-753. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-89982-2_70

Telecommunications feature subscription as a partial order constraint problem

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this