17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”

  • Marco GavanelliEmail author
  • Toni Mancini


  1. 1.
    Alberti, M., Dell’Acqua, P., Pereira, L.M.: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9259-5 zbMATHGoogle Scholar
  2. 2.
    Baioletti, M., Milani, A., Poggioni, V., Rossi, F.: Experimental evaluation of pheromone models in ACOPlan. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9265-7 Google Scholar
  3. 3.
    Cakmak, D., Erdem, E., Erdogan, H.: Computing weighted solutions in ASP: representation-based method vs. search-based method. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9242-1 zbMATHGoogle Scholar
  4. 4.
    Gerevini, A., Saetti, A., Serina, I.: Planning in domains with derived predicates through rule-action graphs. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9240-3 zbMATHGoogle Scholar
  5. 5.
    Guimarans, D., Herrero, R., Riera, D., Juan, A.A., Ramos, J.J.: Combining probabilistic algorithms, constraint programming, and lagrangian relaxation to solve the vehicle routing problem. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9261-y Google Scholar
  6. 6.
    Marques-Silva, J., Argelich, J., Graça, A., Lynce, I.: Boolean lexicographic optimization: algorithms & applications. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9233-2 Google Scholar
  7. 7.
    Mileo, A., Schaub, T., Merico, D., Bisiani, R.: Knowledge-based multi-criteria optimization to support indoor positioning. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9241-2 zbMATHGoogle Scholar
  8. 8.
    Oddi, A., Rasconi, R., Cesta, A., Smith, S.F.: Solving job shop scheduling with setup times through constraint-based iterative sampling: an experimental analysis. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9264-8 zbMATHGoogle Scholar
  9. 9.
    Pulina, L., Tacchella, A.: NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. (2011). doi: 10.1007/s10472-011-9243-0 Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Dipartimento di IngegneriaUniversità di FerraraFerraraItaly
  2. 2.Dipartimento di InformaticaSapienza Università di RomaRomaItaly

Personalised recommendations