Workshop on The Satisfiability Problem: Theory and Applications (1996 : New Brunswick, NJ) Bezüge im Wissensnetz Veranstaltungsort (1) GND New Brunswick, NJ