Theory and Applications of Satisfiability Testing ¿ SAT 2018
Ein kompakter Leitfaden, der die neuesten Erkenntnisse aus der SAT‑2018-Konferenz zusammenfasst, von algorithmischen Fortschritten bis zu realen Einsatzszenarien in der Logikverifikation und Optimierung.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Theory and Applications of Satisfiability Testing - SAT 2018, Fachbücher von Christoph M. Wintersteiger, Olaf Beyersdorff
Galaxus.de
03-08-2026 09:54:41
Gesponsert
Medimops DE
Theory and Applications of Satisfiability Testing – SAT 2018 (Lecture Notes in Computer Science, Band 10929)
Medimops DE
04-08-2026 18:20:24
Gesponsert
SpringerLink DE
Theory and Applications of Satisfiability Testing – SAT 2018
SpringerLink DE
05-08-2026 14:37:31
