Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer

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

Abstract is missing.