T�tulo: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)
Editor: Springer
Fecha de publicaci�n: 2015
Idioma: Ingl�s
ISBN 10: 3319243179
ISBN 13: 9783319243177
Encuadernaci�n: paperback
Estado: Very Good

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.

The paper 'Constructing SAT Filters with a Quantum Annealer' is published open access under a CC BY-NC 2.5 license at link.springer.com.

Rese�a del editor

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

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Swan Trading Company
TX, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We accept all Abebooks supported payment options displayed at checkout. Please contact us if you feel you need to return the book.

Swan Trading Company

Mark and Susan Lyons
2915 Brandy Ln
Georgetown, TX 78628
(512) 497-2398

Condiciones de env�o

We normally ship in one to two business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We ship US Media Mail, Priority Mail, First Class International, and Priority Mail International.