Problems of Reducing the Exhaustive Search

Released on by Vladik Kreinovich
preview-18

  • Problems of Reducing the Exhaustive Search Book Detail

  • Author : Vladik Kreinovich
  • Release Date : 1997
  • Publisher : American Mathematical Soc.
  • Genre : Computers
  • Pages : 202
  • ISBN 13 : 0821803867
  • File Size : 58,58 MB
DOWNLOAD BOOK

Problems of Reducing the Exhaustive Search by Vladik Kreinovich PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Problems of Reducing the Exhaustive Search books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Problems of Reducing the Exhaustive Search

Problems of Reducing the Exhaustive Search

File Size : 65,65 MB
Total View : 6102 Views
DOWNLOAD

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora,

Problems of Reducing the Exhaustive Search

Problems of Reducing the Exhaustive Search

File Size : 44,44 MB
Total View : 3824 Views
DOWNLOAD

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora,

Perception of Form and Forms of Perception

Perception of Form and Forms of Perception

File Size : 70,70 MB
Total View : 4397 Views
DOWNLOAD

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

Fuzzy Systems

Fuzzy Systems

File Size : 29,29 MB
Total View : 6465 Views
DOWNLOAD

The analysis and control of complex systems have been the main motivation for the emergence of fuzzy set theory since its inception. It is also a major research