In this paper, we propose to exploit the side-tuning framework for multi...
Meta-solver approaches exploits a number of individual solvers to potent...
Programming language detection is a common need in the analysis of large...
SUNNY is an Algorithm Selection (AS) technique originally tailored for
C...
Serverless computing, also known as Functions-as-a-Service, is a recent
...
Network Function Virtualization (NFV) and Software Defined Networking (S...
In Constraint Programming (CP) a portfolio solver combines a variety of
...
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (C...
We propose a timed and soft extension of Concurrent Constraint Programmi...
Recent research has shown that a single arbitrarily efficient solver can...
Recent research in areas such as SAT solving and Integer Linear Programm...