Introduction to Propositional Satisfiability (Studies in Logic) - Tapa blanda

Marek, Victor

 
9781848901391: Introduction to Propositional Satisfiability (Studies in Logic)
Tapa blanda
ISBN 10: 1848901399 ISBN 13: 9781848901391
Editorial: College Publications, 2014

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
College Publications
Año de publicación
2014
Idioma
Inglés
ISBN 10 
1848901399
ISBN 13 
9781848901391
Encuadernación
Tapa blanda
Número de páginas
378
Contacto del fabricante
no disponible
Persona responsable
no disponible