Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
STS > Institute
04.07.2023

SAT 2023

Ole Lübke participates in the SAT 2023 Conference

Ole Lübke participates in the SAT 2023 Conference with the noSAT-MaxSATv2 Solver.

TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz