Theory and Applications of Satisfiability Testing SAT 2008
Ein detailliertes Sammelwerk der 11. SAT-Konferenz aus Guangzhou, das neueste Fortschritte in Logiktests, Optimierungsalgorithmen und deren Einsatz in KI‑Systemen beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Theory and Applications of Satisfiability Testing – SAT 2008
SpringerLink DE
01-05-2026 08:32:52
Gesponsert
Galaxus.de
Theory and Applications of Satisfiability Testing - SAT 2008, Fachbücher
Galaxus.de
30-04-2026 12:26:12
