Developing Approaches for Solving a Telecommunications Feature Subscription Problem

01/16/2014
by   David Lesaint, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/18/2021

Maximum weighted induced forests and trees: New formulations and a computational comparative review

Given a graph G=(V,E) with a weight w_v associated with each vertex v∈ V...
research
06/30/2017

New Integer Linear Programming Models for the Vertex Coloring Problem

The vertex coloring problem asks for the minimum number of colors that c...
research
05/01/2023

Integer Linear Programming Formulations for Triple and Quadruple Roman Domination Problems

Roman domination is a well researched topic in graph theory. Recently tw...
research
02/21/2019

Integer Linear Programming Formulations for Double Roman Domination Problem

For a graph G= (V,E), a double Roman dominating function (DRDF) is a fun...
research
05/07/2021

Solving the Workflow Satisfiability Problem using General Purpose Solvers

The workflow satisfiability problem (WSP) is a well-studied problem in a...
research
02/06/2016

Fuzzy Maximum Satisfiability

In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to ...
research
10/11/2021

Binary Programming Formulations for the Upper Domination Problem

We consider Upper Domination, the problem of finding the minimal dominat...

Please sign up or login with your details

Forgot password? Click here to reset