International Workshop on Satisfiability Checking and Symbolic Computation (7. : 2022 : Haifa) Bezüge im Wissensnetz Administrative Überordnung der Konferenz oder der Veranstaltung (2) GND 1265203350 1279644389 Veranstaltungsort (1) GND Haifa Homepage (1) GND workshop7.html