Segui
Roberto Amadini
Titolo
Citata da
Citata da
Anno
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
672014
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
522015
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
International Conference on Learning and Intelligent Optimization, 21-35, 2014
482014
An empirical evaluation of portfolios approaches for solving CSPs
R Amadini, M Gabbrielli, J Mauro
International Conference on Integration of Constraint Programming …, 2013
422013
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
38*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
362017
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
322015
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
212014
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
18*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
172016
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
152019
Sweep-based propagation for string constraint solving
R Amadini, G Gange, P Stuckey
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
152018
A novel approach to string constraint solving
R Amadini, G Gange, PJ Stuckey, G Tack
International Conference on Principles and Practice of Constraint …, 2017
142017
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
132018
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
132015
A survey on string constraint solving
R Amadini
ACM Computing Surveys (CSUR) 55 (1), 1-38, 2021
122021
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
112016
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
Dashed strings for string constraint solving
R Amadini, G Gange, PJ Stuckey
Artificial Intelligence 289, 103368, 2020
72020
Propagating lex, find and replace with Dashed Strings
R Amadini, G Gange, PJ Stuckey
International Conference on the Integration of Constraint Programming …, 2018
72018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20