SAT2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications)

ISBN 10: 1586030612 / ISBN 13: 9781586030612

Editore: Ios Pr Inc, 2000

Like NewLIKE NEW. Codice articolo ERICA84215860306123

Riassunto:

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)

Dalla quarta di copertina: "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."

Dati bibliografici

Titolo: SAT2000: Highlights of Satisfiability ...
Casa editrice: Ios Pr Inc
Data di pubblicazione: 2000
Legatura: Hardcover
Condizione: Like New
Tipologia articolo: book