research
∙
02/17/2022
On the evaluation of (meta-)solver approaches
Meta-solver approaches exploits a number of individual solvers to potent...
share
research
∙
09/07/2020
sunny-as2: Enhancing SUNNY for Algorithm Selection
SUNNY is an Algorithm Selection (AS) technique originally tailored for C...
research
∙
01/31/2020
A Survey on String Constraint Solving
String constraint solving refers to solving combinatorial problems invol...
research
∙
06/26/2017
SUNNY-CP and the MiniZinc Challenge
In Constraint Programming (CP) a portfolio solver combines a variety of ...
research
∙
02/13/2015
A Multicore Tool for Constraint Solving
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (C...
research
∙
08/01/2013
An Enhanced Features Extractor for a Portfolio of Constraint Solvers
Recent research has shown that a single arbitrarily efficient solver can...
research
∙
12/04/2012