Workshop on The Satisfiability Problem (2 : 1998 : Paderborn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Paderborn