Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, SUNNY-CP: A sequential cp portfolio solver, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2015, 13-17-, pp. 1861 - 1867 (atti di: 30th Annual ACM Symposium on Applied Computing, SAC 2015, esp, 2015) [Contributo in Atti di convegno]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Why CP portfolio solvers are (under)utilized? Issues and challenges, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9527, pp. 349 - 364 (atti di: 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, ita, 2015) [Contributo in Atti di convegno]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, An enhanced features extractor for a portfolio of constraint solvers, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2014, pp. 1357 - 1359 (atti di: 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, kor, 2014) [Contributo in Atti di convegno]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Portfolio approaches for constraint optimization problems, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, 8426, pp. 21 - 35 (atti di: 8th International Conference on Learning and Intelligent OptimizatioN, LION 2014, Gainesville, FL, usa, 2014) [Contributo in Atti di convegno]
Amadini R.; Stuckey P.J., Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers, in: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2014, 8656, pp. 108 - 124 (atti di: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Lyon, fra, 2014) [Contributo in Atti di convegno]
ROBERTO AMADINI;MAURIZIO GABBRIELLI;JACOPO MAURO, SUNNY: a Lazy Portfolio Approach for Constraint Solving, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2014, 14, pp. 509 - 524 [articolo]
Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing, «INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE», 2013, 2, pp. 67 - 75 [articolo]
Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro, An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, in: Lecture Notes in Computer ScienceIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2013, 7874, pp. 316 - 324 (atti di: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 2013) [Contributo in Atti di convegno]
Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence, in: Advances in Intelligent Systems and ComputingDistributed Computing and Artificial Intelligence, 2013, 217, pp. 219 - 226 (atti di: Distributed Computing and Artificial Intelligence, Spain, 2013) [Contributo in Atti di convegno]
