https://bookem.ir/books/1661317-Logic-Based-Methods-for-Optimization