Introduction to Propositional Satisfiability - Studies in Logic - Victor Marek - Livros - College Publications - 9781848901391 - 24 de fevereiro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Introduction to Propositional Satisfiability - Studies in Logic

Victor Marek

Preço
€ 19,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 20 de mai
Adicione à sua lista de desejos do iMusic

Introduction to Propositional Satisfiability - Studies in Logic

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.


378 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de fevereiro de 2014
ISBN13 9781848901391
Editoras College Publications
Páginas 378
Dimensões 156 × 236 × 20 mm   ·   580 g
Idioma English  

Ver tudo de Victor Marek ( por exemplo Paperback Book )