Problems of Reducing the Exhaustic Search: Search Reduction Problems (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2) - Hardcover

Kreinovich, Vladik

Hardcover

ISBN 10: 0821803867 ISBN 13: 9780821803868

Publisher: Amer Mathematical Society, 1997

Synopsis

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.

About this title

Language Notes

Text: English (translation)
Original Language: Russian

Edition details

• Publisher: Amer Mathematical Society
• Publication date: 1997
• Language: English
• ISBN 10: 0821803867
• ISBN 13: 9780821803868
• Binding: Hardcover
• Number of pages: 190
• Editor: Kreinovich Vladik, Kreinovich V.