Theory and Applications of Satisfiability Testing  SAT 2018 (häftad)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
452
Utgivningsdatum
2018-06-26
Upplaga
1st ed. 2018
Förlag
Springer International Publishing AG
Medarbetare
Beyersdorff, Olaf (ed.), Wintersteiger, Christoph M. (ed.)
Illustratör/Fotograf
Bibliographie
Illustrationer
73 Illustrations, black and white; XIX, 452 p. 73 illus.
Dimensioner
234 x 156 x 24 mm
Vikt
658 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783319941431

Theory and Applications of Satisfiability Testing SAT 2018

21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 912, 2018, Proceedings

Häftad,  Engelska, 2018-06-26
585
Billigast på PriceRunner
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers address different aspects of 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 as well as case studies and reports on findings based on rigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.
Visa hela texten

Passar bra ihop

  1. Theory and Applications of Satisfiability Testing  SAT 2018
  2. +
  3. Braiding Sweetgrass

De som köpt den här boken har ofta också köpt Braiding Sweetgrass av Robin Wall Kimmerer (häftad).

Köp båda 2 för 715 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna