Trending Bestseller

Introduction to Propositional Satisfiability

No reviews yet Write a Review
Paperback / softback
24 February 2014
RRP: $36.30
$35.39
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that thedomains of variables are finite.As such, propositional logic finds applications in describing problems stemmingfrom computer science, computer engineering and combinatorial optimization.But logic goes beyond just providing descriptive means - it is supported bymechanisms 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 propositionallogic.This book studies syntax, semantics, and algorithms for finding solutions ofproblems expressible in propositional logic. It is addressed to individuals whowant to understand the principles on which SAT solvers are based and gain adeeper understanding of techniques used in logic-based solving.

You Can Find This Title In

    Product Details
    ISBN-13
    9781848901391
    Author
    Victor Marek
    Publisher
    College Publications
    Published
    24 February 2014
    Format
    Paperback / softback

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

    RRP: $36.30
    $35.39
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Introduction to Propositional Satisfiability

    RRP: $36.30
    $35.39

    Description

    Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that thedomains of variables are finite.As such, propositional logic finds applications in describing problems stemmingfrom computer science, computer engineering and combinatorial optimization.But logic goes beyond just providing descriptive means - it is supported bymechanisms 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 propositionallogic.This book studies syntax, semantics, and algorithms for finding solutions ofproblems expressible in propositional logic. It is addressed to individuals whowant to understand the principles on which SAT solvers are based and gain adeeper understanding of techniques used in logic-based solving.

    You Can Find This Title In

      This Title Is Categorised As