Workshop on The Satisfiability Problem (3 : 2000 : Renesse) Bezüge im Wissensnetz Veranstaltungsort (1) GND Renesse