Combinatorial search: from algorithms to systems (2013)