International Workshop on Satisfiability Modulo Theories (20. : 2022 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1265203350 Homepage (1) GND 2022