Introduction to algorithms
Generating Linear Extensions Fast
SIAM Journal on Computing
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
An experiment in feature engineering
Programming methodology
Node and arc consistency in weighted CSP
Eighteenth national conference on Artificial intelligence
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
The IMS Second Edition: IP Multimedia Concepts and Services
The IMS Second Edition: IP Multimedia Concepts and Services
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Queue - SIP
Principles of Constraint Programming
Principles of Constraint Programming
Domain filtering consistencies for non-binary constraints
Artificial Intelligence
Logic programming with satisfiability
Theory and Practice of Logic Programming
Solving a Telecommunications Feature Subscription Configuration Problem
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription
ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
A declarative encoding of telecommunications feature subscription in SAT
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
The Conflict-Driven Answer Set Solver clasp: Progress Report
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Personalisation of telecommunications services as combinatorial optimisation
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Optimal and suboptimal singleton arc consistency algorithms
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A greedy approach to establish singleton arc consistency
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A soft global precedence constraint
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Constraint Networks: Techniques and Algorithms
Constraint Networks: Techniques and Algorithms
Hi-index | 0.01 |
Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a feature subscription involves choosing and sequencing features from a catalogue and is subject to constraints that prevent undesirable feature interactions at run-time. When the subscription requested by a user is inconsistent, one problem is to find an optimal relaxation, which is a generalisation of the feedback vertex set problem on directed graphs, and thus it is an NP-hard task. We present several constraint programming formulations of the problem. We also present formulations using partial weighted maximum Boolean satisfiability and mixed integer linear programming. We study all these formulations by experimentally comparing them on a variety of randomly generated instances of the feature subscription problem.