https://bookem.ir/books/3296066-Combinatorial-Search-From-Algorithms-to-Systems