Volume 62, Issue 3-4

Search all Annals of Mathematics and Artificial Intelligence articles

July 2011

Special Issue: Experimental evaluation of algorithms for solving problems with combinatorial explosion

Issue Editors:

Marco Gavanelli,
Toni Mancini

10 articles in this issue

17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Marco Gavanelli
Toni Mancini
EditorialNotes 13 January 2012 Pages: 159 - 160
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Marco Alberti
Pierangelo Dell’Acqua
Luís Moniz Pereira
OriginalPaper 06 August 2011 Pages: 161 - 186
Experimental evaluation of pheromone models in ACOPlan
Marco Baioletti
Alfredo Milani
Fabio Rossi
OriginalPaper 26 August 2011 Pages: 187 - 217
Computing weighted solutions in ASP: representation-based method vs. search-based method
Duygu Cakmak
Esra Erdem
Halit Erdogan
OriginalPaper 25 June 2011 Pages: 219 - 258
Planning in domains with derived predicates through rule-action graphs and local search
Alfonso E. Gerevini
Alessandro Saetti
Ivan Serina
OriginalPaper 28 June 2011 Pages: 259 - 298
Combining probabilistic algorithms, Constraint Programming and Lagrangian Relaxation to solve the Vehicle Routing Problem
Daniel Guimarans
Rosa Herrero
Juan José Ramos
OriginalPaper 04 August 2011 Pages: 299 - 315
Boolean lexicographic optimization: algorithms & applications
Joao Marques-Silva
Josep Argelich
Inês Lynce
OriginalPaper 05 May 2011 Pages: 317 - 343
Knowledge-based multi-criteria optimization to support indoor positioning
Alessandra Mileo
Torsten Schaub
Roberto Bisiani
OriginalPaper 12 August 2011 Pages: 345 - 370
Solving job shop scheduling with setup times through constraint-based iterative sampling: an experimental analysis
Angelo Oddi
Riccardo Rasconi
Stephen F. Smith
OriginalPaper 13 August 2011 Pages: 371 - 402
NeVer: a tool for artificial neural networks verification
Luca Pulina
Armando Tacchella
OriginalPaper 18 January 2012 Pages: 403 - 425

Volume 62, Issue 3-4

Search

Navigation