Mauro, Jacopo

4 publications

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

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