Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 23rd International Conference onTheory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal withSAT interpreted in a broad sense, including theoretical advances (suchas 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, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation. 552 pp. Englisch. N� de r�f. du vendeur 9783030518240

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Theory and Applications of Satisfiability Testing �" Sat 2020 : 23rd International Conference, Alghero, Italy, July 3�"10, 2020, Proceedings

Pulina, Luca (EDT); Seidl, Martina (EDT)

Edit� par Springer, 2020

ISBN 10 : 3030518248 ISBN 13 : 9783030518240

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 41601605

Contacter le vendeur

Acheter D'occasion

EUR 59,61

Autre devise

Frais de port : EUR 17,73

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Theory and Applications of Satisfiability Testing �" Sat 2020 : 23rd International Conference, Alghero, Italy, July 3�"10, 2020, Proceedings

Pulina, Luca (EDT); Seidl, Martina (EDT)

Edit� par Springer, 2020

ISBN 10 : 3030518248 ISBN 13 : 9783030518240

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 41601605-n

Contacter le vendeur

Acheter neuf

EUR 61,87

Autre devise

Frais de port : EUR 17,73

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Theory and Applications of Satisfiability Testing � SAT 2020 : 23rd International Conference, Alghero, Italy, July 3�10, 2020, Proceedings

Martina Seidl

Edit� par Springer International Publishing, 2020

ISBN 10 : 3030518248 ISBN 13 : 9783030518240

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23rd International Conference onTheory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal withSAT interpreted in a broad sense, including theoretical advances (suchas 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, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation. N� de r�f. du vendeur 9783030518240

Contacter le vendeur