Title: SAT-2000: Highlights of Satisfiability Research in the Year 2000: 63 (Frontiers in Artificial Intelligence and Applications)
Publisher: SAGE Publications Ltd
Publication Date: 2006
Language: English
ISBN 10: 1586030612
ISBN 13: 9781586030612
Binding: Hardcover
Condition: New

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

"About this title" may belong to another edition of this title.

Store Description

In the centre of the picturesque Market Town of Hay-on-Wye, UK; we serve the British and International Book Trades 364 days per year. Whilst always caring for individual requirements we buy and sell entire collections and libraries and efficiently dispatch large consignments to your door, whether you are a collector, a shop, a university, or a school. Vist our Online Shop at http://www.hayonwyebooksellers.com

Visit Seller's Storefront

Seller's business information

Hay-on-Wye Booksellers
14 High Town, Hay-on-Wye, HR3 5AE, United Kingdom

Sale & Shipping Terms

Terms of Sale

Mastercard, Visa, VisaDelta, Electron, Switch, Solo, cards accepted. Also cash and Sterling Checks (GBP Cheques). If you wish to pay via Switch/Maestro please ensure you enter in the start date and the issue number in the shopping basket. Alternatively you can enter in the information in the special intrusions field during the shopping basket.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	19 to 31 business days	19 to 30 business days
First item	US$ 33.70	US$ 134.82

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.