| Authors | Title | Paper | Talk |
|---|
| Slimane Abou-Msabah | An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem |  | Jul 18 12:40 |
| Mario Alviano, Bernardo Cuteri and Francesco Ricca | Declarative Specification of Benchmark Sessions via ASP | | Jul 17 12:40 |
| Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen and Samuel Kaski | Optimal Neighborhood Preserving Visualization by Maximum Satisfiability | | Jul 17 10:50 |
| Esra Erdem, Volkan Patoglu and Peter Schüller | A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks | | Jul 17 14:30 |
| Eugene Freuder, Diarmuid Grimes and Richard Wallace | Dispensable Instantiations in Constraint Satisfaction Problems | | Jul 18 09:45 |
| Alexey Ignatiev, Antonio Morgado, Jordi Planes and Joao Marques-Silva | Maximal Falsifiability: Definitions, Algorithms, and Applications | | Jul 17 11:20 |
| Amroun Kamal, Habbas Zineb and Aggoune-Mtalaa Wassila | A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP | | Jul 18 09:15 |
| Luca Mancini, Alfredo Milani, Valentina Poggioni and Andrea Chiancone | Self Regulating Mechanisms for Network Immunization | | Jul 18 12:20 |
| Shashank Pathak, Luca Pulina and Armando Tacchella | Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies | | Jul 18 11:50 |
| Regis Riveret, Pascal Caianiello, Stefania Constantini and Moez Draief | Concept Learning by a Monte-Carlo Tree Search of Argumentations | | Jul 18 11:20 |
| Valentino Santucci, Marco Baioletti and Alfedo Milani | A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem | | Jul 17 15:00 |
| Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber | Efficient Computation of the Well-Founded Semantics over Big Data | | Jul 17 12:10 |
| Richard Wallace | Neighbourhood SAC for Preprocessing and Search | | Jul 18 10:45 |
| Hans Zantema | Latin Squares with Graph Properties | | Jul 17 11:50 |