3 citations · 7 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022★ 1 cited
On the evaluation of (meta-)solver approaches
Roberto Amadini, Maurizio Gabbrielli, Tong Liu +1
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver. To assess the performance of meta-solvers, one can simply adopt the metrics typ…
cs.AI2020★ 3 cited
sunny-as2: Enhancing SUNNY for Algorithm Selection
Tong Liu, Roberto Amadini, Jacopo Mauro +1
SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to b…