Telecommunications feature subscription as a partial order constraint problem

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

Volumn 5366 LNCS, Issue , 2008, Pages 749-753

  Codish, Michael ^a   Lagoon, Vitaly ^b   Stuckey, Peter J ^b,c,d  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b UNIVERSITY OF MELBOURNE   (Australia)

^c CSIRO   (Australia)

^d UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT PROGRAMMING (CP); CONSTRAINT SOLVERS; EXPERIMENTAL EVALUATIONS; INTEGER VALUES; PARTIAL ORDERS; BOOLEAN SATISFACTIONS; CONSTRAINT PROGRAMMING; EXPERIMENTAL EVALUATION; INTEGER LINEAR PROGRAMMING; PARTIAL ORDER; PROPOSITIONAL LOGIC; STATE OF THE ART;

COMPUTER PROGRAMMING; CONSTRAINT THEORY; LINEARIZATION; LOGIC PROGRAMMING; TELECOMMUNICATION; TELECOMMUNICATION SYSTEMS; BOOLEAN FUNCTIONS; FORMAL LOGIC;

INTEGER PROGRAMMING;

EID: 58549120419     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_70     Document Type: Conference Paper

References (5)

1. Lesaint, D., Mehta, D., O'Sullivan, B., Quesada, L.O., Wilson, N.: Solving a tele-communications feature subscription configuration problem. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 67-81. Springer, Heidelberg (2008)
2. Codish, M., Lagoon, V., Stuckey, P.J.: Solving partial order constraints for LPO termination. Journal on Satisfiability, Boolean Modeling and Computation 5, 193-215 (2008), An earlier version appears In: Pfenning, F. (ed.) RTA 2006. LNCS, vol. 4098, pp. 4-18. Springer, Heidelberg (2006)
3. Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: Mesnard, F., Serebenik, A. (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments. CW 371, KU Leuven, December 2003, pp. 1-16 (2003)
4. Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502-518. Springer, Heidelberg (2004)
5. Codish, M., Lagoon, V., Stuckey, P.J.: Logic programming with satisfiability. TPLP 8(1), 121-128 (2008)