Article PDF
References
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
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
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
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
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
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
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
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
Pulina, L., Tacchella, A.: NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. (2011). doi:10.1007/s10472-011-9243-0
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gavanelli, M., Mancini, T. 17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”. Ann Math Artif Intell 62, 159–160 (2011). https://doi.org/10.1007/s10472-011-9268-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-011-9268-4