| 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 | 81 | 2014 |
| A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro arXiv preprint arXiv:1502.03986, 2015 | 54 | 2015 |
| Portfolio approaches for constraint optimization problems R Amadini, M Gabbrielli, J Mauro International Conference on Learning and Intelligent Optimization, 21-35, 2014 | 47 | 2014 |
| An empirical evaluation of portfolios approaches for solving CSPs R Amadini, M Gabbrielli, J Mauro Integration of AI and OR Techniques in Constraint Programming for …, 2013 | 46 | 2013 |
| A survey on string constraint solving R Amadini ACM Computing Surveys (CSUR) 55 (1), 1-38, 2021 | 43 | 2021 |
| 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 | 43* | 2014 |
| Combining string abstract domains for JavaScript analysis: An evaluation R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 40 | 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 | 39 | 2015 |
| A novel approach to string constraint solving R Amadini, G Gange, PJ Stuckey, G Tack Principles and Practice of Constraint Programming: 23rd International …, 2017 | 22 | 2017 |
| Minizinc with strings R Amadini, P Flener, J Pearson, JD Scott, PJ Stuckey, G Tack Logic-Based Program Synthesis and Transformation: 26th International …, 2017 | 22 | 2017 |
| 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 | 21 | 2014 |
| 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, 805-822, 2017 | 20 | 2017 |
| Constraint programming for dynamic symbolic execution of JavaScript R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 17 | 2019 |
| Sweep-based propagation for string constraint solving R Amadini, G Gange, P Stuckey Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 16 | 2018 |
| Why CP portfolio solvers are (under) utilized? Issues and challenges R Amadini, M Gabbrielli, J Mauro Logic-Based Program Synthesis and Transformation: 25th International …, 2015 | 15 | 2015 |
| 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 | 15 | 2013 |
| Abstract interpretation, symbolic execution and constraints R Amadini, G Gange, P Schachte, H Søndergaard, PJ Stuckey Recent Developments in the Design and Implementation of Programming …, 2020 | 14 | 2020 |
| 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 | 13 | 2018 |
| Dashed strings for string constraint solving R Amadini, G Gange, PJ Stuckey Artificial Intelligence 289, 103368, 2020 | 12 | 2020 |
| 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 | 11 | 2016 |
Jacopo MauroUniversity of Southern DenmarkCorreu electrònic verificat a imada.sdu.dk