Name: Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, (en Inglés)
Price: 255755.00 COP
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)

Formato

Libro Físico

Editorial

Springer

Autor

Gaspers, Serge ; Walsh, Toby

Idioma

Inglés

N° páginas

476

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.5 cm

Peso

0.68 kg.

ISBN13

9783319662626

Categorías

Teoría matemática de la computación
Machine learning: aprendizaje automático

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

$ 255.755

$ 511.510

Ahorras: $ 255.755

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 22 de Julio y el Miércoles 31 de Julio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

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.