Theory and Applications of Satisfiability Testing – SAT 2021
24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Häftad, Engelska, 2021
1 599 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions.
Produktinformation
- Utgivningsdatum2021-07-02
- Mått155 x 235 x 31 mm
- Vikt861 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor564
- FörlagSpringer Nature Switzerland AG
- ISBN9783030802226