Title: Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung