| SUNNY: a lazy portfolio approach for constraint solving R Amadini, M Gabbrielli, J Mauro Theory and Practice of Logic Programming 14 (4-5), 509-524, 2014 | 67 | 2014 |
| A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 51 | 2015 |
| Portfolio approaches for constraint optimization problems R Amadini, M Gabbrielli, J Mauro International Conference on Learning and Intelligent Optimization, 21-35, 2014 | 44 | 2014 |
| An empirical evaluation of portfolios approaches for solving csps R Amadini, M Gabbrielli, J Mauro International Conference on Integration of Constraint Programming …, 2013 | 40 | 2013 |
| An enhanced features extractor for a portfolio of constraint solvers R Amadini, M Gabbrielli, J Mauro Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1357-1359, 2014 | 36* | 2014 |
| Combining string abstract domains for JavaScript analysis: An evaluation R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 35 | 2017 |
| SUNNY-CP: a sequential CP portfolio solver R Amadini, M Gabbrielli, J Mauro Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1861-1867, 2015 | 30 | 2015 |
| Sequential time splitting and bounds communication for a portfolio of optimization solvers R Amadini, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2014 | 20 | 2014 |
| Minizinc with strings R Amadini, P Flener, J Pearson, JD Scott, PJ Stuckey, G Tack International Symposium on Logic-Based Program Synthesis and Transformation …, 2016 | 16 | 2016 |
| A constraint-based model for fast post-disaster emergency vehicle routing R Amadini, I Sefrioui, J Mauro, M Gabbrielli International Journal of Interactive Multimedia and Artificial Intelligence …, 2013 | 16* | 2013 |
| Constraint programming for dynamic symbolic execution of JavaScript R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey International Conference on Integration of Constraint Programming …, 2019 | 14 | 2019 |
| A novel approach to string constraint solving R Amadini, G Gange, PJ Stuckey, G Tack International Conference on Principles and Practice of Constraint …, 2017 | 14 | 2017 |
| Sweep-based propagation for string constraint solving R Amadini, G Gange, PJ Stuckey Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 13 | 2018 |
| Reference abstract domains and applications to string analysis R Amadini, G Gange, F Gauthier, A Jordan, P Schachte, H Søndergaard, ... Fundamenta Informaticae 158 (4), 297-326, 2018 | 12 | 2018 |
| Why CP portfolio solvers are (under) utilized? Issues and challenges R Amadini, M Gabbrielli, J Mauro International Symposium on Logic-Based Program Synthesis and Transformation …, 2015 | 12 | 2015 |
| An extensive evaluation of portfolio approaches for constraint satisfaction problems R Amadini, M Gabbrielli, J Mauro International Journal of Interactive Multimedia and Artificial Intelligence, 2016 | 10 | 2016 |
| Survival prediction of trauma patients: a study on US National Trauma Data Bank I Sefrioui, R Amadini, J Mauro, A El Fallahi, M Gabbrielli European journal of trauma and emergency surgery 43 (6), 805-822, 2017 | 9 | 2017 |
| A survey on string constraint solving R Amadini ACM Computing Surveys (CSUR) 55 (1), 1-38, 2021 | 8 | 2021 |
| Propagating lex, find and replace with Dashed Strings R Amadini, G Gange, PJ Stuckey International Conference on the Integration of Constraint Programming …, 2018 | 7 | 2018 |
| Dashed strings for string constraint solving R Amadini, G Gange, PJ Stuckey Artificial Intelligence 289, 103368, 2020 | 6 | 2020 |
Jacopo MauroUniversity of Southern DenmarkEmail verificata su imada.sdu.dk
