Amadini, Roberto

6 publications

IJCAI 2023 A Regular Matching Constraint for String Variables Roberto Amadini, Peter J. Stuckey

JAIR 2023 On the Evaluation of (Meta-)solver Approaches Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

IJCAI 2022 Sunny-As2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

JAIR 2021 Sunny-As2: Enhancing SUNNY for Algorithm Selection Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

AAAI 2018 Sweep-Based Propagation for String Constraint Solving Roberto Amadini, Graeme Gange, Peter J. Stuckey

IJCAI 2015 A Multicore Tool for Constraint Solving Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro