Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)

Victor W. Marek

Published by Chapman and Hall/CRC, 2009
ISBN 10: 1439801673 / ISBN 13: 9781439801673
Used / Hardcover / Quantity Available: 0
From Books Express (Portsmouth, NH, U.S.A.)
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # 1439801673

About this title:

Synopsis:

Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring the theoretical and practical aspects of satisfiability, Introduction to Mathematics of Satisfiability focuses on the satisfiability of theories consisting of propositional logic formulas. It describes how SAT solvers and techniques are applied to problems in mathematics and computer science as well as important applications in computer engineering.

The book first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. It then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. One of the pioneers of answer set programming, the author shows how constraint satisfaction systems can be worked out by satisfiability solvers and how answer set programming can be used for knowledge representation.

About the Author:

Victor W. Marek is a professor in the Department of Computer Science at the University of Kentucky.

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

Bibliographic Details

Title: Introduction to Mathematics of ...
Publisher: Chapman and Hall/CRC
Publication Date: 2009
Binding: Hardcover
Book Condition: Good
Edition: 1.

Top Search Results from the AbeBooks Marketplace

1.

Marek, Victor W.
Published by Chapman and Hall/CRC 2009-09-22 (2009)
ISBN 10: 1439801673 ISBN 13: 9781439801673
Used Hardcover Quantity Available: 1
Seller:
LowKeyBooks
(Sumas, WA, U.S.A.)

Book Description Chapman and Hall/CRC 2009-09-22, 2009. Hardcover. Condition: Very Good. Books is in very good condition. If supplemental codes/CDs for textbooks are required please contact us prior to purchasing. Seller Inventory # DS-1439801673-2

More information about this seller | Contact this seller

Buy Used
US$ 245.58
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

2.

Victor W. Marek
Published by Chapman and Hall/CRC (2009)
ISBN 10: 1439801673 ISBN 13: 9781439801673
Used Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Chapman and Hall/CRC, 2009. Hardcover. Condition: Used: Good. Seller Inventory # SONG1439801673

More information about this seller | Contact this seller

Buy Used
US$ 245.59
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

Marek, Victor W.
Published by Chapman and Hall/CRC (2009)
ISBN 10: 1439801673 ISBN 13: 9781439801673
New Hardcover Quantity Available: 2
Seller:
Save With Sam
(North Miami, FL, U.S.A.)

Book Description Chapman and Hall/CRC, 2009. Hardcover. Condition: New. Brand New!. Seller Inventory # VIB1439801673

More information about this seller | Contact this seller

Buy New
US$ 317.16
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

4.

Victor W. Marek
Published by Chapman and Hall/CRC (2009)
ISBN 10: 1439801673 ISBN 13: 9781439801673
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Chapman and Hall/CRC, 2009. Hardcover. Condition: New. 1. Seller Inventory # DADAX1439801673

More information about this seller | Contact this seller

Buy New
US$ 390.72
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

5.

Marek, Victor W.
Published by Chapman and Hall/CRC
ISBN 10: 1439801673 ISBN 13: 9781439801673
New Hardcover Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)

Book Description Chapman and Hall/CRC. Hardcover. Condition: New. 1439801673 New Condition. Seller Inventory # NEW33.2642543

More information about this seller | Contact this seller

Buy New
US$ 497.50
Convert currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, rates & speeds