24th RCRA International Workshop on
"Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion"
PRELIMINARY PROGRAM
Tuesday 14 November 2017
14:00 - 14:15
|
Opening
|
14:15 - 16:00
|
Session 1 (Answer Set Programming)
|
| |
I-DLV+MS: preliminary report on an automatic ASP solver selector
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
|
| |
On Minimal Corrections in ASP
Mikolas Janota and Joao Marques-Silva
|
| |
Answer Set Enumeration via Assumption Literals information on submission
Mario Alviano, Carmine Dodaro
|
|
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical
Analysis
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schuller
|
16:00 - 16:30
|
Coffee break
|
16:30 - 18:00
|
Session 2 (Planning and Scheduling)
|
| |
Planning with Always Preferences by Compilation into STRIPS with Action Costs
Luca Ceriani, Alfonso Emilio Gerevini, Francesco Percassi
|
|
Multi-Objective Optimization in a Job Shop with Energy Costs through Hybrid
Evolutionary Techniques
Miguel Angel Gonzalez Fernandez, Angelo Oddi, Riccardo Rasconi.
|
| |
Compressed Path Databases with Ordered Wildcard Substitutions information
on submission
Matteo Salvetti, Adi Botea, Alessandro Saetti, Alfonso Emilio Gerevini |
Wednesday 15 November 2017
11:00 - 12:00
|
Session 3 (Abstract Argumentation)
|
| |
Ingredients of the argumentation reasoner pyglaf: python, circumscription, and
glucose to taste
Mario Alviano
|
| |
A Crisp and Soft Library for Abstract Argumentation
Stefano Bistarelli, Fabio Rossi, Francesco Santini
|
13:00 - 14:00
|
Lunch Break
|
16:30 - 18:00
|
Session 4 (SAT, QBF and Swarm optimization)
|
| |
Expansion-based QBF Solving on Tree Decompositions
Gunther Charwat, Stefan Woltran
|
|
On the Quest for an Acyclic Graph
Mikolas Janota, Radu Grigore, Vasco Manquinho
|
| |
Algebraic Particle Swarm Optimization for the Permutations Search Space information on submission
Marco Baioletti, Alfedo Milani, Valentino Santucci
| |
|
