"Satisfiability problem: theory and applications" - читать интересную книгу автора (Jun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos, NSF Science and Technology...)