https://bookem.ir/books/3180111-Pseudo-Boolean-methods-for-bivalent-programming