CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 34
Titolo Autore(i) Anno Periodico Editore Tipo File
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli 2013-01-01 INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE - 1.01 Articolo in rivista -
An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro 2013-01-01 - - 4.01 Contributo in Atti di convegno -
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli 2013-01-01 - - 4.01 Contributo in Atti di convegno -
An enhanced features extractor for a portfolio of constraint solvers Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2014-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
Portfolio approaches for constraint optimization problems Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2014-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers Amadini R.; Stuckey P.J. 2014-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
SUNNY: a Lazy Portfolio Approach for Constraint Solving ROBERTO AMADINI;MAURIZIO GABBRIELLI;JACOPO MAURO 2014-01-01 THEORY AND PRACTICE OF LOGIC PROGRAMMING - 1.01 Articolo in rivista -
SUNNY-CP: A sequential cp portfolio solver Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2015-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
Portfolio approaches in constraint programming Amadini R. 2015-01-01 CONSTRAINTS - 1.06 Abstract in rivista -
A multicore tool for constraint solving Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2015-01-01 IJCAI International Joint Conferences on Artificial Intelligence 4.01 Contributo in Atti di convegno -
SUNNY for algorithm selection: A preliminary study Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J. 2015-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno -
Why CP portfolio solvers are (under)utilized? Issues and challenges Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2015-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Feature selection for SUNNY: A study on the algorithm selection library Amadini, Roberto; Biselli, Fabio; Gabbrielli, Maurizio; Liu, Tong; Mauro, Jacopo 2015-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Portfolio approaches for constraint optimization problems Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2016-01-01 ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE - 1.01 Articolo in rivista -
Combining string abstract domains for javascript analysis: An evaluation Amadini R.; Jordan A.; Gange G.; Gauthier F.; Schachte P.; Sondergaard H.; Stuckey P.J.; Zhang C. 2017-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
A novel approach to string constraint solving Amadini R.; Gange G.; Stuckey P.J.; Tack G. 2017-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Survival prediction of trauma patients: a study on US National Trauma Data Bank Sefrioui, I; Amadini, R; Mauro, J; El Fallahi, A; Gabbrielli, M 2017-01-01 EUROPEAN JOURNAL OF TRAUMA AND EMERGENCY SURGERY - 1.01 Articolo in rivista EJTES43-2017.pdf
MiniZinc with strings Amadini R.; Flener P.; Pearson J.; Scott J.D.; Stuckey P.J.; Tack G. 2017-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
SUNNY-CP and the minizinc challenge Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2018-01-01 THEORY AND PRACTICE OF LOGIC PROGRAMMING - 1.01 Articolo in rivista tplp17.pdf
Sweep-based propagation for string constraint solving Amadini R.; Gange G.; Stuckey P.J. 2018-01-01 - AAAI press 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 34
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile