Sälj dina kursböcker, vinn presentkort på 1000 kr. Kom igång här
Theory and Applications of Satisfiability Testing – SAT 2020 | 1:a upplagan
- Danskt band, Engelska, 2020
- Författare: Martina Seidl, Luca Pulina
- Betyg:
896
kr
Skickas inom 1-3 vardagar
Butikslager
Onlinelager
I lager hos leverantör
Fler utgåvor
-
Socio-Technical Aspects in Security and Trust (2021)
457 kr
-
Computer Vision – ECCV 2020 (2020)
1084 kr
-
LATIN 2020: Theoretical Informatics (2020)
980 kr
-
Computer Vision – ECCV 2020 (2020)
1063 kr
-
Computer Vision – ECCV 2020 (2020)
1063 kr
-
Computer Vision – ECCV 2020 (2020)
1084 kr
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 (2020)
1147 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1293 kr
-
Predictive Intelligence in Medicine (2020)
649 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1070 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1070 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1314 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1314 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1314 kr
-
Information Retrieval (2020)
561 kr
-
Performance Evaluation and Benchmarking for the Era of Cloud(s) (2020)
561 kr
-
Digital Libraries for Open Knowledge (2020)
645 kr
-
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences (2020)
561 kr
-
Learning and Intelligent Optimization (2020)
812 kr
-
Financial Cryptography and Data Security (2020)
980 kr
-
Code-Based Cryptography (2020)
561 kr
-
Computer Aided Verification (2020)
457 kr
-
Computer Aided Verification (2020)
457 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.
Om denna bok
Theory and Applications of Satisfiability Testing – SAT 2020 av Martina Seidl och Luca Pulina är en Danskt band bok med 538 sidor på Engelska. Detta är den 1:a upplagan som utgavs 2020 av Springer Nature.
Spara pengar – köp begagnad från Campusbokhandeln
Köp Theory and Applications of Satisfiability Testing – SAT 2020 begagnad från Campusbokhandeln och spara upp till 25% jämfört med nypris. Du kan bevaka den här boken så får du ett mail så fort vi får in den i lager som begagnad.
Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.
Produktinformation
Kategori:
Okänd
Bandtyp:
Danskt band
Språk:
Engelska
ISBN:
9783030518240
Upplaga:
1
Utgiven:
2020-07-01
Förlag:
Springer Nature
Sidantal:
538