Roberto Amadini
Title
Cited by
Cited by
Year
SUNNY: a lazy portfolio approach for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1311.3353, 2013
522013
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
432015
An empirical evaluation of portfolios approaches for solving CSPs
R Amadini, M Gabbrielli, J Mauro
International Conference on AI and OR Techniques in Constriant Programming …, 2013
372013
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
International Conference on Learning and Intelligent Optimization, 21-35, 2014
352014
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
29*2014
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
232015
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
202014
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
192017
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
14*2013
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
132016
A novel approach to string constraint solving
R Amadini, G Gange, PJ Stuckey, G Tack
International Conference on Principles and Practice of Constraint …, 2017
92017
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
92015
Sweep-based propagation for string constraint solving
R Amadini, G Gange, PJ Stuckey
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
72018
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
62017
An extensive evaluation of portfolio approaches for constraint satisfaction problems
R Amadini, M Gabbrielli, J Mauro
62016
Propagating lex, find and replace with Dashed Strings
R Amadini, G Gange, PJ Stuckey
International Conference on the Integration of Constraint Programming …, 2018
52018
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
52018
SUNNY for algorithm selection: A preliminary study
R Amadini, F Biselli, M Gabbrielli, T Liu, J Mauro
42015
Portfolio approaches in constraint programming
R Amadini
42015
Propagating regular membership with dashed strings
R Amadini, G Gange, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20