Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Ein kompakter Sammelband der SAT‑2015-Konferenz in Austin, der aktuelle Forschungsergebnisse zur Erfüllbarkeitsprüfung zusammenfasst und theoretische Konzepte mit praxisnahen Anwendungen verbindet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Theory and Applications of Satisfiability Testing -- SAT 2015
SpringerLink DE
09-06-2026 17:24:17
Gesponsert
Galaxus.de
Theory and Applications of Satisfiability Testing -- SAT 2015, Fachbücher von Sean Weaver, Marijn Heule
Galaxus.de
09-06-2026 12:05:57
