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

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.