Sat2000: Highlights of Satisfiability Research in the Year 2000

Gent, Ian (Editor)/ Gentles, Ian (Editor)/ Maaren, Hans Van (Editor)/ Walsh, Toby (Editor)

ISBN 10: 1586030612 / ISBN 13: 9781586030612

Published by Ios Pr Inc, 2000

About this Item

561 pages. 9.75x6.75x1.50 inches. In Stock.

Seller Inventory # zk1586030612

Bibliographic Details

• Title: Sat2000: Highlights of Satisfiability Research in the Year 2000
• Publisher: Ios Pr Inc
• Publication Date: 2000
• Language: English
• ISBN 10: 1586030612
• ISBN 13: 9781586030612
• Binding: Hardcover
• Condition: Brand New
• Weight: 1.11 kilograms

About this title

Synopsis

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)

From the Back Cover

"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."