Roberto Amadini — accepted AI-conference papers

2023

A Regular Matching Constraint for String Variables

IJCAI 2023poster

Using a regular language as a pattern for string matching is nowadays a common -and sometimes unsafe- operation, provided as a built-in feature by most programming languages. A proper constraint solver over string variables should support most of the operations over regular expressions and related c…

Cited by 1 Source ↗PDF ↗Scholar ↗

2022

sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract)

Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

IJCAI 2022poster

SUNNY is a k-nearest neighbors based Algorithm Selection (AS) approach that schedules and runs a number of solvers for a given unforeseen problem. In this work we present sunny-as2, an enhancement of SUNNY for generic AS scenarios that advances the original approach with wrapper-based feature select…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗