Cutting the size of compressed path databases with wildcards and redundant symbolsMattia ChiariShizhe Zhaoet al.2019ICAPS 2019