International Workshop on Satisfiability Checking and Symbolic Computation (6. : 2021 : Online) Aufgrund der COVID-19-Pandemie als Online-Workshop abgehalten Bezüge im Wissensnetz Veranstaltungsort (1) GND College Station, Tex. Homepage (1) GND workshop6.html