Research Interests
My research interests focused mainly on theory and application of Constraint (Logic) Programming for modeling and solving hard combinatorial problems. During the Ph.D. course I worked on Portfolio Approaches for solving Constraint Satisfaction/Optimization Problems. In particular, I implemented most of the sunny-cp, a state-of-the-art parallel portfolio solver for solving both satisfaction and optimization problems encoded in MiniZinc language.I'm also interested in Algorithm Selection and Operations Research.
I'm currently involved in Software Verification and Constraint Solving techniques for strings. In particular, I'm working on static string analysis for JavaScript language.
Publications / Preprints
[DBLP References]
[Ph.D. Thesis]
2016
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. Portfolio approaches for constraint optimization problems. AMAI 2016.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. Parallelizing Constraint Solvers for Hard RCPSP Instances. LION 2016. Ischia, Italy. May 2016.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problem. IJIMAI 2016.
2015
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. Feature Selection for SUNNY: a Study on the Algorithm Selection Library. ICTAI 2015. Vietri sul Mare, Italy. November 2015.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. A Multicore Tool for Constraint Solving. IJCAI 2015. Buenos Aires, Argentina. July 2015.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. Why CP portfolio solvers are (under)utilized? Issues and challenges. LOPSTR 2015. Siena, Italy. July 2015.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. SUNNY for Algorithm Selection: A Preliminary Study. CILC 2015. Genova, Italy. July 2015.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. SUNNY-CP: a CP Parallel Portfolio Solver. SAC 2015. Salamanca, Spain. April 2015.
2014
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. SUNNY: a Lazy Portfolio Approach for Constraint Solving. ICLP 2014. Vienna, Austria. July 2014.
- Roberto Amadini, and Peter J. Stuckey. Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. CP 2014. Lyon, France. September 2014.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. Portfolio Approaches for Constraint Optimization Problems. LION 8. Gainesville, Florida, USA. February 2014.
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. An Enhanced Features Extractor for a Portfolio of Constraint Solvers. SAC 2014. Gyeongju, Korea. March 2014.
2013
- Roberto Amadini, Imane Sefrioui, Jacopo Mauro, and Maurizio Gabbrielli. A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. IJIMAI 2013.
- Roberto Amadini. Evaluation and Application of Portfolio Approaches in Constraint Programming. ICLP 13. Istanbul, Turkey. August 2013 (Research Summary)
- Roberto Amadini, Maurizio Gabbrielli, and Jacopo Mauro. An Empirical Evaluation of Portfolios Approaches for solving CSPs. CPAIOR 2013. Yorktown Heights, NY, USA. May 2013.
- Roberto Amadini, Imane Sefrioui, Jacopo Mauro, and Maurizio Gabbrielli. Fast Post-Disaster Emergency Vehicle Scheduling. DCAI 2013. Salamanca, Spain. May 2013.
2012
- Gianfranco Rossi, Roberto Amadini. JSetL User's Manual - Version 2.3. Research Report "Quaderno del Dipartimento di Matematica", n. 507, Università di Parma, January 2012 (Technical Report).