Start | Einführung | SAT | Davis/Putnam | MPI | Implementationen | LAM
MPISAT | Laufzeit-Analyse | Benchmarks | Fehler | Links | Kontakt
Zurück zu http://www.marssoft.de/


MPI-SAT, ein paralleler SAT-Solver.

 

Studienarbeit
Mario Emmenlauer

 

 

Prof. Dr. Bernd Becker
Lehrstuhl für Rechnerarchitektur
Institut für Informatik
Albert-Ludwigs-Universität Freiburg

 
Freiburg, 2. September 2002


Dieses Dokument finden Sie auch auf der Download-Seite als PDF- und als Postscript-Datei.