State-of-the-art serverless platforms use hardcoded scheduling policies ...
Meta-solver approaches exploits a number of individual solvers to potent...
In the context of the BI-REX (Big Data Innovation and Research Excellenc...
Increased levels of digitalization in society expose companies to new
se...
We describe the architecture of Sammen Om Demens (SOD), an application f...
SUNNY is an Algorithm Selection (AS) technique originally tailored for
C...
Following previous work on the automated deployment orchestration of
com...
Feature Models are a mechanism to organize the configuration space and
f...
Highly-configurable software systems can have thousands of interdependen...
Microservices are highly modular and scalable Service Oriented Architect...
In Constraint Programming (CP) a portfolio solver combines a variety of
...
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (C...
Recent research has shown that a single arbitrarily efficient solver can...
Recent research in areas such as SAT solving and Integer Linear Programm...