Sat2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, 63, Band 63) - Hardcover

9781586030612: Sat2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, 63, Band 63)

Hardcover

ISBN 10: 1586030612 ISBN 13: 9781586030612

Verlag: IOS Press, 2000

This collection of 20 papers surveys incomplete local search methods for solving propositional satisfiability (SAT) problems as well as depth first, breadth first, and restricted resolution based complete solvers and hybrid mixtures. Some of the contributors present applications from optimization theory, algorithms to generate test problems, and examples of how to use SAT solvers for decision procedures in more expressive systems such as modal and quantified Boolean logics. No subject index. Some of the papers will be published in the Journal of Automated Reasoning . Annotation c. Book News, Inc., Portland, OR (booknews.com)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

"The book is devoted to various disciplines in Satisfiability research and aims to give the reader an impression of the state of the art of this research in the Year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications, and extensions beyond propositional SAT.SAT 2000Highlights of Satisfiability Research in the Year 2000."