"Du D., Gu J., Pardalos P. (eds.) Satisfiability problem.. theory and applications (DIMACS 35, 1977)(T)(723s)_MVsa_.djvu" - читать интересную книгу автора