Skip to main content

College Publications

Introduction to Propositional Satisfiability

No reviews yet
Product Code: 9781848901391
ISBN13: 9781848901391
Condition: New
$28.95

Introduction to Propositional Satisfiability

$28.95
 
Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that the domains of variables are finite. As such, propositional logic finds applications in describing problems stemming from computer science, computer engineering and combinatorial optimization. But logic goes beyond just providing descriptive means - it is supported by mechanisms for computation of answers. At present there is a class of software systems, SAT solvers, that allow (given enough of resources) for solving problems expressed in propositional logic. This book studies syntax, semantics, and algorithms for finding solutions of problems expressible in propositional logic. It is addressed to individuals who want to understand the principles on which SAT solvers are based and gain a deeper understanding of techniques used in logic-based solving.


Author: Victor Marek
Publisher: College Publications
Publication Date: Feb 24, 2014
Number of Pages: 378 pages
Binding: Paperback or Softback
ISBN-10: 1848901399
ISBN-13: 9781848901391
 

Customer Reviews

This product hasn't received any reviews yet. Be the first to review this product!

Faster Shipping

Delivery in 3-8 days

Easy Returns

14 days returns

Discount upto 30%

Monthly discount on books

Outstanding Customer Service

Support 24 hours a day