Amadini, Roberto; Stuckey, Peter J., A Regular Matching Constraint for String Variables, in: Edith Elkind, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2023, pp. 1868 - 1875 (atti di: International Joint Conference on Artificial Intelligence, Macao, 19-25 Agosto 2023) [Contribution to conference proceedings]Open Access
Amadini, Roberto, A Survey on String Constraint Solving, «ACM COMPUTING SURVEYS», 2023, 55, Article number: 16 , pp. 1 - 38 [Scientific article]Open Access
Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro, On the Evaluation of (Meta-)solver Approaches, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2023, 76, pp. 705 - 719 [Scientific article]Open Access
Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract), in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, pp. 5752 - 5756 (atti di: International Joint Conference on Artificial Intelligence, Vienna, 23-29 Luglio 2022) [Abstract]
Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, 2021, 12561, pp. 192 - 209 (atti di: 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, ita, 2020) [Contribution to conference proceedings]
Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, sunny-as2: Enhancing SUNNY for Algorithm Selection, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2021, 72, pp. 329 - 376 [Scientific article]Open Access
Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey, Abstract Interpretation, Symbolic Execution and Constraints, in: Recent Developments in the Design and Implementation of Programming Languages, 2020, 86, pp. 1 - 19 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, November 27, 2020) [Contribution to conference proceedings]Open Access
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed Strings and the Replace(-all) Constraint, in: Principles and Practice of Constraint Programming. CP 2020., 2020, 12333, pp. 3 - 20 (atti di: CP 2020., Leuven, September 2020) [Contribution to conference proceedings]
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed strings for string constraint solving, «ARTIFICIAL INTELLIGENCE», 2020, 289, Article number: 103368 , pp. 1 - 31 [Scientific article]Open Access
Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., String constraint solving: Past, present and future, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, 2020, 325, pp. 2875 - 2876 (atti di: 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020, Santiago de Compostela, Spain, 2020) [Contribution to conference proceedings]Open Access
Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Constraint Programming for Dynamic Symbolic Execution of JavaScript, in: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, Springer Verlag, 2019, 11494, pp. 1 - 19 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contribution to conference proceedings]
Amadini R.; Gange G.; Stuckey P.J., Propagating lex, find and replace with dashed strings, in: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Springer Verlag, 2018, 10848, pp. 18 - 34 (atti di: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, nld, 2018) [Contribution to conference proceedings]
Amadini R.; Gange G.; Stuckey P.J., Propagating Regular membership with dashed strings, in: 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, Springer Verlag, 2018, 11008, pp. 13 - 29 (atti di: 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, fra, 2018) [Contribution to conference proceedings]
Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C., Reference abstract domains and applications to string analysis, «FUNDAMENTA INFORMATICAE», 2018, 158, pp. 297 - 326 [Scientific article]
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, SUNNY-CP and the minizinc challenge, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2018, 18, pp. 1 - 14 [Scientific article]Open Access
