Combinatorial Search: From Algorithms to Systems - Hamadi, Youssef (Verfasser) (Springer Berlin Heidelberg, 2013)