Vol-2271
urn:nbn:de:0074-2271-7




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

Marco Maratea *
Mauro Vallati **

* University of Genova, DIBRIS, Genova, Italy
** University of Huddersfield, School of Computing and Engineering, Huddersfield, UK





Table of Contents

Invited Papers

Regular Papers


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|