Willkommen, schön sind Sie da!
Logo Ex Libris

Theory and Applications of Satisfiability Testing - SAT 2021

  • Kartonierter Einband
  • 576 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, S... Weiterlesen
20%
118.00 CHF 94.40
Sie sparen CHF 23.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.

Produktinformationen

Titel: Theory and Applications of Satisfiability Testing - SAT 2021
Untertitel: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Editor:
EAN: 9783030802226
ISBN: 3030802221
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 576
Gewicht: 861g
Größe: H235mm x B155mm x T30mm
Jahr: 2021
Untertitel: Englisch
Auflage: 1st ed. 2021

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"