8 citations · 23 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
cs.AI2020
A Survey on String Constraint Solving
Roberto Amadini
String constraint solving refers to solving combinatorial problems involving constraints over string variables. String solving approaches have become popular over the last years gi…