Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Theory and Applications of Satisfiability Testing - SAT 2007

Name: Theory and Applications of Satisfiability Testing - SAT 2007
Brand: Springer, Berlin
SKU: 01568638
Price: 60.39 EUR
Availability: InStock
Author: Joao Marques-Silva
ISBN: 9783540727873

10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Joao Marques-Silva

Karem A. Sakallah

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01568638

Editores Springer, Berlin, noviembre 2006

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Ap... Descripción completa

Código Libristo: 01568638

148 b

60.39 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Otro Dios es posible I López Vigil

Tapa blanda

16.19 €

Ernst-Diskurse. Literarische Ironie-Kritik am Ausgang von Romantik und Postmoderne Bremer Kai Bremer

Adobe ePub DRM

59.39 €

AJATA VADA Paramahansa Swami Kaivalyanan Saraswati

Tapa blanda

18.19 €

Messungen in Fluvialen Systemen Dietrich Barsch

Tapa blanda

82.79 €

S. Th. Soemmerring De Corporis Humani Fabrica, Latio Donata Ab Ipso Auctore Aucta Et Emendata Samuel Thomas von Soemmerring

Tapa dura

37.69 €

Arte PoÃ(c)tica Fàcil Joan Francesc de MasdÃ©u i de Montero

Tapa blanda

24.89 €

Im Schatten unserer Herzen Tanja Bern

Tapa blanda

11.99 €

Entscheidungslehre Rudiger von Nitzsch

Adobe ePub DRM

28.39 €

Primeros Auxilios para Docentes y Padres Investigacion y Formacion En Urgencias

Tapa blanda

10.69 €

Grecomania Saturno

Tapa dura

36.09 €

Escucha eficaz : la clave de la comunicación Jim Dugger

Tapa blanda

15.39 €

Button Schulkind (Mädchen)

Juguete

5.89 €

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007.§The 22 revised full papers presented together with 12 revised short papers presented together with 2 invited talks were carefully selected from 74 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered. The papers are organized in topical sections on encodings, max-SAT and pseudo-boolean, structure, local search, QBF, complete algorithms, proofs and cores, as well as applications.