Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Theory and Applications of Satisfiability Testing - SAT 2020

Name: Theory and Applications of Satisfiability Testing - SAT 2020
Brand: Springer Nature Switzerland AG
SKU: 32949771
Price: 51.09 EUR
Availability: InStock
Author: Martina Seidl
ISBN: 9783030518240

23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Martina Seidl

Language

English

Book Paperback

Libristo code: 32949771

Publishers Springer Nature Switzerland AG, July 2020

This book constitutes the proceedings of the 23rd International Conference on Theory and Application... Full description

Libristo code: 32949771

125 b

51.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Le Cote de Guermantes - premiere partie Marcel Proust

Hardback

20.39 €

Fracture numérique et éducation virtuelle Cristhian Antonio Rodríguez Yagual

Paperback

38.79 €

Поехали! 1.1 Учебник. Начальный курс Станислав Чернышов

Paperback

40.89 €

Ven Ker Dukey

Hardback

9.59 €

Hypnotised: A Journey Through Trance Music 1990-2005 Arjan Rietveld

Paperback

32.00 €

Pojazdy budowlane. Samochodzik Franek Karolina Górska

Paperback

2.29 €

Dialogue Entre Un Magistrat de l'Ordre Administratif Et Un Employe d'Octroi SANS AUTEUR

Paperback

12.29 €

Grundzuge Der Pharmazeutischen Und Medizinischen Chemie Hermann Thoms

Paperback

54.99 €

Statut Des Dirigeants Sociaux En Droit de l'Ohada Folly-M

Paperback

131.69 €

Repertoire General Du Theatre Francais. Theatre Du Second Ordre. Drames (Ed.1818) Tome II Sans Auteur

Paperback

24.09 €

Facteur Sonne Toujours James Cain

Paperback

7.79 €

Los sitios conocidos Tejada Balsas

Paperback

10.79 €

Family chef : oración en familia Rubén García-Castro Díaz

Paperback

13.29 €

Electrónica analógica

Paperback

22.79 €

Los detectives Ho. El caso Hu Care Santos

Paperback

11.09 €

Cuentos de música Gustavo Adolfo Bécquer

Paperback

24.39 €

Entra en la mente del planeta tierra : descubre la noosfera Bianca Atwell

Paperback

18.09 €

Das Auer Sprachbuch 4. Ausgabe Bayern, m. 1 CD-ROM Ruth Dolenc-Petz

Sheet

15.39 €

Arbeitswelten transformieren - inkl. Arbeitshilfen online Heike Hof-Bausenwein

Adobe ePub DRM

50.89 €

Misterio en Formentera Joana Pol

Paperback

11.79 €

Transformacion curricular en la Universidad de Panama Flávio Rodrigues Andrade

Paperback

48.39 €

Psychoanalytisches Verstehen von Liebe beseelt und von Wissen geleitet Stavros Mentzos

Paperback

90.00 €

Ellen Marie: Como Sobrevivir Al Caos Sin Amor? Cecilia Jimenez

Paperback

24.69 €

Life Of James Richardson: A Bishop Of The Methodist Episcopal Church In Canada (1876) Thomas Webster

Paperback

28.69 €

This book constitutes the proceedings of the 23rd International Conference on Theory 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 with SAT interpreted in a broad sense, including theoretical advances (such as 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.