Theory and Applications of Satisfiability Testing ¿ SAT 2017
Dieses Buch präsentiert die neuesten Erkenntnisse der 20. Internationalen Konferenz zu Satisfiability Testing aus Melbourne, beleuchtet innovative SAT‑Algorithmen, Modellierungsansätze und deren Einsatz in KI sowie Optimierungsproblemen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Galaxus.de
Theory and Applications of Satisfiability Testing - SAT 2017, Fachbücher von Serge Gaspers, Toby Walsh
Galaxus.de
03-08-2026 09:45:52
Gesponsert
SpringerLink DE
Theory and Applications of Satisfiability Testing – SAT 2017
SpringerLink DE
07-08-2026 09:28:58
