SAT 2021
Event name
SAT 2021
Start date
05-07-2021
End date
09-07-2021
Location
Barcelona
Country
Event format Veranstaltungsformat
Online
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hermann, Miki ; Salzer, Gernot | MCP: Capturing Big Data by Satisfiability (Tool Description) | Konferenzbeitrag Inproceedings  | 2021 |