Problems of Reducing the Exhaustive Search

Problems of Reducing the Exhaustive Search
Author :
Publisher : American Mathematical Soc.
Total Pages : 202
Release :
ISBN-10 : 9780821803868
ISBN-13 : 0821803867
Rating : 4/5 (68 Downloads)

Book Synopsis Problems of Reducing the Exhaustive Search by : Vladik Kreinovich

Download or read book Problems of Reducing the Exhaustive Search written by Vladik Kreinovich and published by American Mathematical Soc.. This book was released on 1997 with total page 202 pages. Available in PDF, EPUB and Kindle. Book excerpt: This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife Nina Maslova. Maslov is known as the originator of the universe method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robison and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on propositional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.


Problems of Reducing the Exhaustive Search Related Books

Problems of Reducing the Exhaustive Search
Language: en
Pages: 202
Authors: Vladik Kreinovich
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora,
Perception of Form and Forms of Perception
Language: en
Pages: 209
Authors: R. M. Granovskaya
Categories: Psychology
Type: BOOK - Published: 2013-08-21 - Publisher: Psychology Press

DOWNLOAD EBOOK

First Published in 1987. Information processing has come to be regarded as one of the central issues in modern psychology. In recent years it has acquired an es
Principles of Knowledge Representation and Reasoning
Language: en
Pages: 696
Authors: Luigia Carlucci Aiello
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Computerworld
Language: en
Pages: 108
Authors:
Categories:
Type: BOOK - Published: 1986-08-25 - Publisher:

DOWNLOAD EBOOK

For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning
Advances in Optimization and Applications
Language: en
Pages: 265
Authors: Nicholas Olenev
Categories: Mathematics
Type: BOOK - Published: 2021-01-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Optimization and Applications, OPTIMA 2020, held in September – October