Marco Maratea, Mauro Vallati, editors, Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. Volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Conference: rcra2018
@proceedings{rcra-2018,
title = {Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018},
year = {2018},
url = {http://nbn-resolving.de/urn:nbn:de:0074-2271-7},
researchr = {https://researchr.org/publication/rcra-2018},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018},
conference = {rcra},
editor = {Marco Maratea and Mauro Vallati},
volume = {2271},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}