This collection contains translations of papers on propositional satisfiability and related problems in logic which appeared in a book Problemy Sokrashcheniya Perebora published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. Dedicated to the memory of Russian husband-and-wife mathematicians Sergei Maslov and Nina Maslova, the volume's 12 articles include algorithmics of NP- hard problems; semantics of S. Yu. Maslov's iterative method, dual algorithms in discrete optimization; and effective calculi as a technique for search reduction. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
Text: English (translation)
Original Language: Russian
"About this title" may belong to another edition of this title.
Seller: Row By Row Bookshop, Sugar Grove, NC, U.S.A.
Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. First U.S. Edition. An ex-library copy in original laminated hard covers, with the usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket, as issued. Book. Seller Inventory # 056877
Seller: Mispah books, Redhill, SURRE, United Kingdom
hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82908218038676
Quantity: 1 available