Amadini R.; Gange G.; Stuckey P.J., Sweep-based propagation for string constraint solving, in: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, AAAI press, 2018, pp. 6557 - 6564 (atti di: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, usa, 2018) [Contribution to conference proceedings]
Amadini R.; Gange G.; Stuckey P.J.; Tack G., A novel approach to string constraint solving, in: 23rd International Conference on the Principles and Practice of Constraint Programming, CP 2017, Springer Verlag, 2017, 10416, pp. 3 - 20 (atti di: 23rd International Conference on the Principles and Practice of Constraint Programming, CP 2017, aus, 2017) [Contribution to conference proceedings]
Amadini R.; Jordan A.; Gange G.; Gauthier F.; Schachte P.; Sondergaard H.; Stuckey P.J.; Zhang C., Combining string abstract domains for javascript analysis: An evaluation, in: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, Springer Verlag, 2017, 10205, pp. 41 - 57 (atti di: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, swe, 2017) [Contribution to conference proceedings]
Amadini R.; Flener P.; Pearson J.; Scott J.D.; Stuckey P.J.; Tack G., MiniZinc with strings, in: 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Verlag, 2017, 10184, pp. 59 - 75 (atti di: 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, gbr, 2016) [Contribution to conference proceedings]
Sefrioui, I; Amadini, R; Mauro, J; El Fallahi, A; Gabbrielli, M, Survival prediction of trauma patients: a study on US National Trauma Data Bank, «EUROPEAN JOURNAL OF TRAUMA AND EMERGENCY SURGERY», 2017, 43, pp. 805 - 822 [Scientific article]Open Access
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems, «INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE», 2016, 3, pp. 81 - 87 [Scientific article]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Parallelizing constraint solvers for hard RCPSP instances, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2016, 10079, pp. 227 - 233 (atti di: 10th International Conference on Learning and Intelligent Optimization, LION 10, ita, 2016) [Contribution to conference proceedings]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Portfolio approaches for constraint optimization problems, «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», 2016, 76, pp. 229 - 246 [Scientific article]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, A multicore tool for constraint solving, in: IJCAI International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, «IJCAI», 2015, 2015-, pp. 232 - 238 (atti di: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, arg, 2015) [Contribution to conference proceedings]
Amadini, Roberto; Biselli, Fabio; Gabbrielli, Maurizio; Liu, Tong; Mauro, Jacopo, Feature selection for SUNNY: A study on the algorithm selection library, in: Proceedings - 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, 2015, pp. 25 - 32 (atti di: 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, ITALY, NOV 09-11, 2015) [Contribution to conference proceedings]
Amadini R., Portfolio approaches in constraint programming, «CONSTRAINTS», 2015, 20, pp. 483 - 483 [Abstract]
Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J., SUNNY for algorithm selection: A preliminary study, in: 30th Italian Conference on Computational Logic, CILC 2015, CEUR-WS, 2015, 1459, pp. 202 - 206 (atti di: 30th Italian Conference on Computational Logic, CILC 2015, ita, 2015) [Contribution to conference proceedings]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, SUNNY-CP: A sequential cp portfolio solver, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2015, 13-17-, pp. 1861 - 1867 (atti di: 30th Annual ACM Symposium on Applied Computing, SAC 2015, esp, 2015) [Contribution to conference proceedings]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Why CP portfolio solvers are (under)utilized? Issues and challenges, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 9527, pp. 349 - 364 (atti di: 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, ita, 2015) [Contribution to conference proceedings]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, An enhanced features extractor for a portfolio of constraint solvers, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2014, pp. 1357 - 1359 (atti di: 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, kor, 2014) [Contribution to conference proceedings]
