Problems of Reducing the Exhaustive Search PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Problems of Reducing the Exhaustive Search PDF full book. Access full book title Problems of Reducing the Exhaustive Search by Vladik Kreinovich. Download full books in PDF and EPUB format.
Author: Vladik Kreinovich
Publisher: American Mathematical Soc.
ISBN: 0821803867
Category : Computers
Languages : en
Pages : 202
Get Book Here
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.
Author: Vladik Kreinovich
Publisher: American Mathematical Soc.
ISBN: 0821803867
Category : Computers
Languages : en
Pages : 202
Get Book Here
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.
Author:
Publisher: American Mathematical Soc.
ISBN: 9780821895887
Category : Mathematics
Languages : en
Pages : 262
Get Book Here
Book Description
This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fields of partially ordered sets, semilattices, lattices, and Boolean algebras that was reviewed in Referativnyi Zhurnal Matematika from mid-1982 to the end of 1985. A continuation of a previous volume (the English translation of which was published by the AMS in 1989, as volume 141 in Translations - Series 2), this comprehensive work contains more than 2200 references. Many of the papers covered here were originally published in virtually inaccessible places. The compilation of the volume was directed by Milan Kolibiar of Comenius University at Bratislava and Lev A. Skornyakov of Moscow University. Of interest to mathematicians, as well as to philosophers and computer scientists in certain areas, this unique compendium is a must for any mathematical library.
Author: V. Kharlamov
Publisher: American Mathematical Soc.
ISBN: 9780821805558
Category : Algebraic topology
Languages : en
Pages : 276
Get Book Here
Book Description
Author: Alexander K. Kelmans
Publisher: American Mathematical Soc.
ISBN: 9780821895924
Category : Mathematics
Languages : en
Pages : 242
Get Book Here
Book Description
This is a collection of translations of a variety of papers on discrete mathematics by members of the Moscow Seminar on Discrete Mathematics. This seminar, begun in 1972, was marked by active participation and intellectual ferment. Mathematicians in the USSR often encountered difficulties in publishing, so many interesting results in discrete mathematics remained unknown in the West for some years, and some are unknown even to the present day. To help fill this communication gap, this collection offers papers that were obscurely published and very hard to find. Among the topics covered here are: graph theory, network flow and multicommodity flow, linear programming and combinatorial optimization, matroid theory and submodular systems, matrix theory and combinatorics, parallel computing, complexity of algorithms, random graphs and statistical mechanics, coding theory, and algebraic combinatorics and group theory.
Author: M. Sh Birman
Publisher: American Mathematical Soc.
ISBN: 9780821895917
Category : Group theory
Languages : en
Pages : 274
Get Book Here
Book Description
The papers in this collection were written primarily by members of the St. Petersburg seminar in mathematical physics. The seminar, now run by O. A. Ladyzhenskaya, was initiated in 1947 by V. I. Smirnov, to whose memory this volume is dedicated. The papers in the collection are devoted mainly to wave propagation processes, scattering theory, integrability of nonlinear equations, and related problems of spectral theory of differential and integral operators. The book is of interest to mathematicians working in mathematical physics and differential equations, as well as to physicists studying various wave propagation processes.
Author: Semen Grigorʹevich Gindikin
Publisher: American Mathematical Soc.
ISBN: 9780821875087
Category : Mathematics
Languages : en
Pages : 276
Get Book Here
Book Description
This collection is designed to acquaint readers with advances in Radon transforms carried out in the former Soviet Union. The papers focus on mathematical problems related to applications of Radon transforms. Some of the problems arose from practical tomography, while others are theoretical problems originating in tomography. The book should be of use to mathematicians working in integral geometry and mathematical problems of tomography, as well as scientists who work on inverse problems and their computer realization.
Author: R. L. Dobrushin
Publisher: American Mathematical Soc.
ISBN: 9780821804254
Category : Mathematical physics
Languages : en
Pages : 240
Get Book Here
Book Description
Author: Nina Nikolaevna Uraltseva
Publisher: American Mathematical Soc.
ISBN: 9780821895955
Category : Mathematics
Languages : en
Pages : 240
Get Book Here
Book Description
This collection focuses on nonlinear problems in partial differential equations. Most of the papers are based on lectures presented at the seminar on partial differential equations and mathematical physics at St. Petersburg University. Among the topics explored are the existence and properties of solutions of various classes of nonlinear evolution equations, nonlinear imbedding theorems, bifurcations of solutions, and equations of mathematical physics (Navier-Stokes type equations and the nonlinear Schrodinger equation). The book will be useful to researchers and graduate students working in partial differential equations and mathematical physics.
Author: S. Yakovenko
Publisher: American Mathematical Soc.
ISBN: 9780821803622
Category : Differential equations
Languages : en
Pages : 244
Get Book Here
Book Description
Author: O. A. Ladyzhenskaya Anatoli_ Moiseevich Vershik
Publisher: American Mathematical Soc.
ISBN: 9780821895900
Category : Mathematics
Languages : en
Pages : 244
Get Book Here
Book Description
This is the inaugural volume of a new book series published under the auspices of the St. Petersburg Mathematical Society. The book contains contributions by some of the leading mathematicians in St. Petersburg. Ranging over a wide array of topics, these papers testify to the diverse interests and productive mathematical life of the St. Petersburg Mathematical Society.
