Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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: 45.49 EUR
Availability: InStock
Author: Martina Seidl
ISBN: 9783030518240

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

Martina Seidl

Sprache

Englisch

Buch Broschur

Libristo-Code: 32949771

Verlag Springer Nature Switzerland AG, Juli 2020

This book constitutes the proceedings of the 23rd International Conference on Theory and Application... Vollständige Beschreibung

Libristo-Code: 32949771

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

CLARIN 100 JULIO AGOSTO 2012

Buch

8.29 €

Le Cote de Guermantes - premiere partie Marcel Proust

Hardcover

17.99 €

Englands Südosten 2026 (Tischkalender 2026 DIN A5 hoch), CALVENDO Monatskalender Calvendo

Kalender

20.99 €

Misterio en Formentera Joana Pol

Broschur

10.29 €

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

Broschur

42.69 €

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

Broschur

10.69 €

Psychoanalytisches Verstehen von Liebe beseelt und von Wissen geleitet Stavros Mentzos

Broschur

85.00 €

Los detectives Ho. El caso Hu Care Santos

Broschur

10.09 €

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

Broschur

16.29 €

ZWEI HEITERE MANNERCHORE FRANZ BIEBL Drucksachen

Noten

3.79 €

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

Broschur

116.29 €

Entretiens avec un empire, rencontres avec les artistes Disney (volume II) Noyer

Broschur

17.69 €

Cuentos de música Gustavo Adolfo Bécquer

Broschur

22.09 €

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

Broschur

21.49 €

Facteur Sonne Toujours James Cain

Broschur

7.79 €

Los sitios conocidos Tejada Balsas

Broschur

9.69 €

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

Broschur

25.09 €

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

Broschur

12.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theory and Applications of Satisfiability Testing - SAT 2020

Autor Martina Seidl

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2020

Anzahl der Seiten 538

EAN 9783030518240

ISBN 3030518248

Libristo-Code 32949771

Verlag Springer Nature Switzerland AG

Gewicht 836

Abmessungen 155 x 235 x 30

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Computerhardware

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert