The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study. It also includes a spectrum of algorithmic issues and applications. Editor(s): Du, Ding-Zhu; Gu, Jun; Pardalos, Panos M. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 724 pages. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 184 x 258 x 39. Weight in Grams: 1510. . 1997. Hardcover. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780821804797

Contact seller

Report this item

Bibliographic Details

Title: Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
Publisher: Amer Mathematical Society
Publication Date: 1997
Language: English
ISBN 10: 0821804790
ISBN 13: 9780821804797
Binding: Hardcover
Condition: New

About this title

Synopsis

The 23 papers wrangle with a core of computationally intractable NP-complete problems, the solution to which is fundamental to automated reasoning, computer-aided design and manufacturing, machine vision, databases, robotics, scheduling, designing integrated circuits and computer architecture, and computer networking. Blending theory, algorithms, and applications, they discuss such topics as backtracking and probing, the relative size of certain polynomial time solvable subclasses of satisfiability, propositional search efficiency and first-order theorem proving, a discreet Lagrangian global-search method, a general stochastic approach to solving problems with hard and soft constraints, a better upper bound for the unsatisfiability threshold, and the local search for channel assignment in cellular mobile networks. Member prices are $119 for institutions and $89 for individuals. No index. Annotation c. by Book News, Inc., Portland, Or.

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

Store Description

We carry a comprehensive range of out of print and rare books.

Visit Seller's Storefront

Seller's business information

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Shipping Terms

All books securely packaged. Some books ship from Ireland.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	14 to 20 business days	13 to 14 business days
First item	US$ 10.50	US$ 21.00

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.