19th RCRA International Workshop on
"Experimental Evaluation of Algorithms for solving problems with combinatorial explosion"
Address:Workshop venue: Via Ariosto, 25Via Ariosto, 25
Sapienza University
Department of Computer, Control, and Management Engineering "Antonio Ruberti"
Via Ariosto 25
00185 Rome, Italy
http://www.dis.uniroma1.it/~aiia12/
Thursday 14 June 2012 (Aula Magna)
| 8:30 |
Registration
|
| 9:00 |
Welcome |
|
Propositional Satisfiability (session chair: A. Oddi) |
| 9:10 |
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano and Enrico Pontelli
CUD@SAT: GPU parallelism for SAT Solving |
| 9:40 |
Alessandro Armando, Angela Contento, Daniele Costa and Marco Maratea
Minimum Disclosure as Boolean Optimization: New Results |
| 10:00 |
Ruben Martins, Vasco Manquinho and Inês Lynce
Clause Sharing in Deterministic Parallel Maximum Satisfiability |
| 10:30 |
Mikolas Janota, Ines Lynce and Joao Marques-Silva
Experimental Analysis of Backbone Computation Algorithms |
11:00
|
Coffee break
|
| |
|
|
Planning and Scheduling 1 (session chair: R. Bartak) |
| 11:30 |
Lorenzo Foti, Marco Maratea, Simona Sacone and Silvia Siri
Solving Train Load Planning Problems with Boolean Optimization |
| 11:50 |
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi and Marco Franchini
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to
Contamination Events
|
| 12:20 |
Miguel A. González, Camino R. Vela, Ramiro Varela and Inés González-Rodríguez
Scatter Search and Path Relinking for the Job Shop Scheduling Problem with Sequence Dependent and non-Anticipatory Setup Times |
| 12:50 |
Carlos Mencía, María R. Sierra, Miguel A. Salido, Joan Escamilla and Ramiro Varela
Combining Global Pruning Rules with Depth-First Search for the Job Shop Scheduling Problem with Operators |
13:20
|
Lunch break
|
| |
|
|
Plenary AI*IA 2012 Sessions |
| 14:00 |
Announcement of AI*IA 2012 prize winners |
15:00
|
Coffee break
|
|
|
| 15:30 |
Symposium in remembrance of Marco Cadoli: invited talks by M. Lenzerini, M. Schaerf, G. Gottlob, T. Eiter,
L. Palopoli, A. Schaerf, T. Mancini, F. Scarcello, F. M. Donini, P. Liberatore |
18:00
|
Break
|
| |
|
| 19:00 |
Projection of the docudrama: "The Codebreaker" on Alan Turing (full AI*IA 2012 registration required) |
| |
|
20:30
|
RCRA 2012 social dinner
|
Friday 15 June 2012 (Room B2 "Marco Cadoli")
|
Plenary AI*IA 2012 Session |
| 9:00 |
Invited talk by Roberto Cordeschi: Turing and Artificial Intelligence
(full AI*IA 2012 registration required) |
| |
|
|
Constraints 1 (session chair: M. Gavanelli) |
| 10:00 |
Richard Wallace
SAC and Neighbourhood SAC |
| 10:30 |
Roman Barták and Vladimír Rovenský
Automated Verification of Nested Workflows with Extra Constraints: An Experimental Study |
11:00
|
Coffee break
|
| |
|
|
Constraints 2 (session chair: W. Faber) |
| 11:30 |
Richard Wallace
Experimental study of constraint weights obtained by random probing and other techniques |
| 12:00 |
Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Federico Malucelli and
Juan José Ramos
An Application of Constraint Solving for Home Health Care |
| |
|
|
Learning and Bayesian Networks (session chair: F. Riguzzi) |
| 12:30 |
Silvana Badaloni, Francesco Sambo and Francesco Venco
On Hybridizing Complete Bayesian Network Structure Search With Independence Tests |
| 13:00 |
Luca Pulina
A Swarm Intelligence Approach for Biometrics Verification and Identification |
13:20
|
Lunch break
|
| |
|
|
Plenary AI*IA 2012 Session |
| 14:00 |
Invited talk by Georgios Yannakakis: Game AI Is Dead --- Long Live Game AI!
(full AI*IA 2012 registration required) |
| |
|
|
Planning and Scheduling 2 (session chair: M. Maratea) |
| 15:00 |
Alfonso Emilio Gerevini, Alessandro Saetti and Mauro Vallati
Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability |
| 15:30 |
Juan Jose Palacios, Camino R. Vela, Ines Gonzalez-Rodriguez and Jorge Puente Peinador
A Particle Swarm Solution based on Lexicographical Goal Programming for a Multiobjective Fuzzy Open Shop Problem |
16:00
|
Coffee break
|
| |
|
|
Satisfiability and Quantified Boolean Formulae (session chair: L. Pulina) |
| 16:30 |
Christian Miller, Paolo Marin and Bernd Becker
A Dynamic QBF Preprocessing Approach for the Verification of Incomplete Designs |
| 17:00 |
Federico Heras, Antonio Morgado and Joao Marques-Silva
An Empirical Study of Encodings for Group MaxSAT |
| 17:30 |
Mikolas Janota and Joao Marques-Silva
On Checking of Skolem-based Models of QBF |
17:50
|
Closing remarks and end of the workshop
|
|
|
