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

This book, the second in the series of porceedings of Soviet Regional Conferences, contains papers presented at the Second Siberian Winter School; Algebra and A

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fiel