Problems of Reducing the Exhaustic Search: Search Reduction Problems - Rilegato

 
9780821803868: Problems of Reducing the Exhaustic Search: Search Reduction Problems

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.