Recent publications

  1. Amadini R, Jordan A, Gange G, Gauthier F, Schachte P, Sondergaard H, Stuckey P, Zhang C. Combining string abstract domains for javascript analysis: An evaluation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10205 LNCS.
  2. Amadini R, Gabbrielli M, Mauro J. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE. 2016, Vol. 3, Issue 7.
  3. Amadini R, Gabbrielli M, Mauro M. Parallelizing Constraint Solvers for Hard RCPSP Instances. . 2016.
  4. Amadini R, Gabbrielli M, Mauro J. Parallelizing constraint solvers for hard RCPSP instances. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2016, Vol. 10079 LNCS.
  5. Amadini R, Gabbrielli M, Mauro J. Portfolio approaches for constraint optimization problems. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. Kluwer Academic Publishers. 2016, Vol. 76, Issue 1-2.
  6. Amadini R, Gabbrielli M, Mauro J. A multicore tool for constraint solving. IJCAI International Joint Conference on Artificial Intelligence. 2015, Vol. 2015-January.
  7. Amadini R, Biselli F, Gabbrielli M, Liu T, Mauro J. Feature Selection for SUNNY: a Study on the Algorithm Selection Library. 2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015). IEEE. 2015.
  8. Amadini R, Gabbrielli M. Portfolio approaches in constraint programming. Constraints. Springer. 2015, Vol. 20, Issue 4.
  9. Amadini R, Biselli F, Gabbrielli M, Liu T, Mauro J. SUNNY for algorithm selection: A preliminary study. CEUR Workshop Proceedings. 2015, Vol. 1459.
  10. Amadini R, Gabbrielli M, Mauro J. SUNNY-CP: a Sequential CP Portfolio Solver. 30th ACM Symposium on Applied Computing (SAC). Association for Computing Machinery Inc.. 2015. Editors: Shin D.
  11. Amadini R, Gabbrielli M, Mauro J. Why CP Portfolio Solvers Are (under) Utilized? Issues and Challenges. 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2015, Vol. 9527. Editors: Falaschi M.
  12. Amadini R, Gabbrielli M, Mauro J. An enhanced features extractor for a portfolio of constraint solvers. Proceedings of the ACM Symposium on Applied Computing. 2014.
  13. Amadini R, Gabbrielli M, Mauro J. Portfolio approaches for constraint optimization problems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2014, Vol. 8426 LNCS.
  14. Amadini R, Stuckey P. Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. 20th International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2014, Vol. 8656. Editors: Osullivan B.
  15. Amadini R, Gabbrielli M, Mauro J. SUNNY: a Lazy Portfolio Approach for Constraint Solving. 30th International Conference on Logic Programming. Cambridge University Press. 2014, Vol. 14.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile