Combinatorial Search From Algorithms to Systems / - Hamadi, Youssef. (Springer Berlin Heidelberg,)