CEUR-WS.org/Vol-2271 - Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2018

RCRA 2018
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
co-located with the Federated Logic Conference (FLOC 2018)

Oxford, United Kingdom, July 13, 2018.

Edited by

University of Genova

University of Huddersfield

Organization

Invited Papers

Accountability and Responsibility in Business Processes via Agent Technology
Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi
Towards Quantified Answer Set Programming
Giovanni Amendola

Regular Papers

Shaving with Occam’s Razor: Deriving Minimalist Theorem Provers for Minimal Logic
Paul Tarau
Computing Personalised Treatments through In Silico Clinical Trials
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo

2018-12-11: submitted by Mauro Vallati, metadata incl. bibliographic data published under Creative Commons CC0
2018-12-11: published on CEUR-WS.org |valid HTML5|

RCRA 2018
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
co-located with the Federated Logic Conference (FLOC 2018)

Oxford, United Kingdom, July 13, 2018.

Marco Maratea *
Mauro Vallati **

Table of Contents

Invited Papers

Regular Papers

RCRA 2018 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference (FLOC 2018)

Oxford, United Kingdom, July 13, 2018.

Marco Maratea * Mauro Vallati **

Table of Contents

Invited Papers

Regular Papers

RCRA 2018
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
co-located with the Federated Logic Conference (FLOC 2018)

Marco Maratea *
Mauro Vallati **