Ein Beitrag zur Lösung hochdimensionaler Boolescher Probleme mit parallelen Algorithmen. - Kay Hesse (1999)