International Workshop on Satisfiability Checking and Symbolic Computation (8. : 2023 : Tromsø) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tromsø Homepage (1) GND workshop8.html