Bernd Steinbach, Nico Kümmling. Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer. In Reinhard Grebe, Christian Ziemann, editors, Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT 90, Aachen, 17.-18. September 1990. Volume 272 of Informatik-Fachberichte, pages 127-134, Springer, 1990.
Abstract is missing.