Artículos relacionados a Theory and Applications of Satisfiability Testing –...
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, ... Computer Science and General Issues) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2017
- ISBN 10 3319662627
- ISBN 13 9783319662626
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de edición1
- Número de páginas492
- EditorGaspers Serge, Walsh Toby
- Contacto del fabricanteno disponible
EUR 66,38
EUR 17,80 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Theory and Applications of Satisfiability Testing –...
Imagen del vendedor
Theory and Applications of Satisfiability Testing ¿ SAT 2017
Publicado por
Springer International Publishing Aug 2017, 2017
ISBN 10: 3319662627
ISBN 13: 9783319662626
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 492 pp. Englisch. Nº de ref. del artículo: 9783319662626
Cantidad disponible: 2 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing ¿ SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 ¿ September 1, 2017, Proceedings
Publicado por
Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627
ISBN 13: 9783319662626
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783319662626
Cantidad disponible: 1 disponibles
Imagen de archivo
Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783319662626_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing - SAT 2017
Publicado por
Springer International Publishing, 2017
ISBN 10: 3319662627
ISBN 13: 9783319662626
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Nº de ref. del artículo: 155241565
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 29776273-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 29776273-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 29776273
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 29776273
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theory and Applications of Satisfiability Testing - SAT 2017
Publicado por
Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319662627
ISBN 13: 9783319662626
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 20th InternationalConference on Theory and Applications of Satisfiability Testing, SAT2017, held in Melbourne, Australia, in August/September 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch. Nº de ref. del artículo: 9783319662626
Cantidad disponible: 2 disponibles
Imagen de archivo
Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783319662626
Cantidad disponible: 10 disponibles