Roberto Amadini
Title
Cited by
Cited by
Year
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
602014
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
442015
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
International Conference on Learning and Intelligent Optimization, 21-35, 2014
422014
An empirical evaluation of portfolios approaches for solving csps
R Amadini, M Gabbrielli, J Mauro
International Conference on Integration of Constraint Programming …, 2013
392013
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
32*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
312017
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
262015
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
182014
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
162016
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
A novel approach to string constraint solving
R Amadini, G Gange, PJ Stuckey, G Tack
International Conference on Principles and Practice of Constraint …, 2017
132017
Sweep-based propagation for string constraint solving
R Amadini, G Gange, PJ Stuckey
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
112018
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
92018
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
92017
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
92016
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
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
82019
Propagating lex, find and replace with Dashed Strings
R Amadini, G Gange, PJ Stuckey
International Conference on the Integration of Constraint Programming …, 2018
82018
SUNNY-CP and the MiniZinc challenge
R Amadini, M Gabbrielli, J Mauro
Theory and Practice of Logic Programming 18 (1), 81-96, 2018
62018
SUNNY for algorithm selection: a preliminary study
R Amadini, F Biselli, M Gabbrielli, T Liu, J Mauro
CILC, 2015
62015
The system can't perform the operation now. Try again later.
Articles 1–20