Theory and Applications of Satisfiability Testing SAT 2018

Ein kompakter Überblick über die neuesten Entwicklungen im Satisfiability‑Testing, zusammengestellt aus den Vorträgen der SAT 2018-Konferenz, m ...

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 33137093
ISBN
Springer-Verlag GmbH 3319941437

Eigenschaften

Menü