Context aware reconfiguration in software product lines
Software Product Lines (SPLs) are a mechanism for large-scale reuse where families of
related software systems are represented in terms of commonalities and variabilities, eg …
related software systems are represented in terms of commonalities and variabilities, eg …
Embarrassingly parallel search in constraint programming
A Malapert, JC Régin, M Rezgui - Journal of Artificial Intelligence Research, 2016 - jair.org
We introduce an Embarrassingly Parallel Search (EPS) method for solving constraint
problems in parallel, and we show that this method matches or even outperforms state-of-the …
problems in parallel, and we show that this method matches or even outperforms state-of-the …
Zephyrus2: on the fly deployment optimization using SMT and CP technologies
Modern cloud applications consist of software components deployed on multiple virtual
machines. Deploying such applications is error prone and requires detailed system …
machines. Deploying such applications is error prone and requires detailed system …
[HTML][HTML] Context-aware reconfiguration in evolving software product lines
Abstract Software Product Lines (SPLs) are a mechanism for large-scale reuse where
families of related software systems are represented in terms of commonalities and …
families of related software systems are represented in terms of commonalities and …
Computing difference abstractions of metabolic networks under kinetic constraints
E Allart, J Niehren, C Versari - … , CMSB 2019, Trieste, Italy, September 18 …, 2019 - Springer
Algorithms based on abstract interpretation were proposed recently for predicting changes
of reaction networks with partial kinetic information. Their prediction precision, however …
of reaction networks with partial kinetic information. Their prediction precision, however …
Solver-independent large neighbourhood search
The combination of large neighbourhood search (LNS) methods with complete search
methods has proved to be very effective. By restricting the search to (small) areas around an …
methods has proved to be very effective. By restricting the search to (small) areas around an …
Large-neighbourhood search for optimisation in answer-set solving
Abstract While Answer-Set Programming (ASP) is a prominent approach to declarative
problem solving, optimisation problems can still be a challenge for it. Large-Neighbourhood …
problem solving, optimisation problems can still be a challenge for it. Large-Neighbourhood …
Auto-tabling for subproblem presolving in MiniZinc
A well-known and powerful constraint model reformulation is to compute the solutions to a
model part, say a custom constraint predicate, and tabulate them within an extensional …
model part, say a custom constraint predicate, and tabulate them within an extensional …
[HTML][HTML] Adaptive large-neighbourhood search for optimisation in answer-set programming
Answer-set programming (ASP) is a prominent approach to declarative problem solving that
is increasingly used to tackle challenging optimisation problems. We present an approach to …
is increasingly used to tackle challenging optimisation problems. We present an approach to …