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