23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Issue 4 (4th July 2018) - Bistarelli, Stefano; Formisano, Andrea; Maratea, Marco