Name: Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (en Inglés)
SKU: 58795869
Price: 66820.00 CLP
Availability: InStock
Author: Gaspers, Serge ; Walsh, Toby
ISBN: 9783319662626

portada Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (en Inglés)

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Gaspers, Serge ; Walsh, Toby

Idioma

Inglés

N° páginas

476

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x2.5 cm

Peso

0.68 kg.

ISBN13

9783319662626

Categorías

Teoría matemática de la computación
Aprendizaje automático («machine learning»)

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (en Inglés)

Gaspers, Serge ; Walsh, Toby (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 12 a 17 días háb.

$ 111.370$ 66.820

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 66.820

Llega entre el 06 Oct y el 14 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (en Inglés)"

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.