159 | -- | 160 | Marco Gavanelli, Toni Mancini. 17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" |
161 | -- | 186 | Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira. Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation |
187 | -- | 217 | Marco Baioletti, Alfredo Milani, Valentina Poggioni, Fabio Rossi. Experimental evaluation of pheromone models in ACOPlan |
219 | -- | 258 | Duygu Çakmak, Esra Erdem, Halit Erdogan. Computing weighted solutions in ASP: representation-based method vs. search-based method |
259 | -- | 298 | Alfonso Gerevini, Alessandro Saetti, Ivan Serina. Planning in domains with derived predicates through rule-action graphs and local search |
299 | -- | 315 | Daniel Guimarans, Rosa Herrero, Daniel Riera, Angel A. Juan, Juan José Ramos. Combining probabilistic algorithms, Constraint Programming and Lagrangian Relaxation to solve the Vehicle Routing Problem |
317 | -- | 343 | João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce. Boolean lexicographic optimization: algorithms & applications |
345 | -- | 370 | Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani. Knowledge-based multi-criteria optimization to support indoor positioning |
371 | -- | 402 | Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith. Solving job shop scheduling with setup times through constraint-based iterative sampling: an experimental analysis |
403 | -- | 425 | Luca Pulina, Armando Tacchella. NeVer: a tool for artificial neural networks verification |