Tytuł artykułu
Czasopismo
Wydawca
Rocznik
Identyfikatory
Uwagi
Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. RCRA 2018 was held in Oxford, United Kingdom, on the 13th of July 2018 as a Workshop of the Federated Logic Conference 2018 (FLoC 2018). Editors of this special issue: Thomas Eiter, Vienna University of Technology, Austria, eiter@kr.tuwien.ac.at; Marco Maratea, DIBRIS, Università di Genova, Italy, marco@dibris.unige.it; Mauro Vallati, University of Huddersfield, United Kingdom, m.vallati@hud.ac.uk
Zawartość wolumenu
-
Vol. 174, nr 3/4