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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 190 pages. 10.00x7.00x0.50 inches. In Stock. Artikel-Nr. __0821803867
Anzahl: 1 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FW-9780821803868
Anzahl: 1 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Contains translations of papers on propositional satisfiability and related logical problems which appeared in "Problemy Sokrashcheniya Perebora", published in Russian in 1987. Editor(s): Kreinovich, Vladik; Mints, G. Series: American Mathematical Society Translations: Series 2. Num Pages: 190 pages, Illustrations. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230. Weight in Grams: 567. . 1997. Hardcover. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780821803868
Anzahl: 1 verfügbar