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