RCRA 2017‎ > ‎

RCRA-2017 Program

24th RCRA International Workshop on

"Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion"


Tuesday 14 November 2017
 14:00 - 14:15
 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