Välkommen tillbaka till Campusbokhandeln! Vi firar med inlämningskampanj: Lämna in din kurslitteratur – få 150 :- och chansen att vinna 1 000 :-. Läs mer här!
Theory and Applications of Satisfiability Testing – SAT 2020 | 1:a upplagan
- Danskt band, Engelska, 2020
- Författare: Martina Seidl, Luca Pulina
- Betyg:
898
kr
Skickas inom 7-18 vardagar
Butikslager
Onlinelager
I lager hos leverantör
Fler utgåvor
-
Socio-Technical Aspects in Security and Trust (2021)
458 kr
-
Computer Vision – ECCV 2020 (2020)
1093 kr
-
LATIN 2020: Theoretical Informatics (2020)
988 kr
-
Computer Vision – ECCV 2020 (2020)
1072 kr
-
Computer Vision – ECCV 2020 (2020)
1072 kr
-
Computer Vision – ECCV 2020 (2020)
1093 kr
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 (2020)
1156 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1305 kr
-
Predictive Intelligence in Medicine (2020)
651 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1072 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1072 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1326 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1326 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1326 kr
-
Information Retrieval (2020)
565 kr
-
Performance Evaluation and Benchmarking for the Era of Cloud(s) (2020)
565 kr
-
Digital Libraries for Open Knowledge (2020)
651 kr
-
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences (2020)
565 kr
-
Learning and Intelligent Optimization (2020)
819 kr
-
Financial Cryptography and Data Security (2020)
988 kr
-
Code-Based Cryptography (2020)
565 kr
-
Computer Aided Verification (2020)
458 kr
-
Computer Aided Verification (2020)
458 kr
Beskrivning
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.
Produktinformation
Kategori:
Okänd
Bandtyp:
Danskt band
Språk:
Engelska
Förlag:
Springer Nature
Upplaga:
1
Utgiven:
2020-07-01
ISBN:
9783030518240
Sidantal:
538