Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

MiraXT

| Beteiligte Mitarbeiter | Beschreibung | Benchmarks | Publikationen |


Beteiligte Mitarbeiter

ehemalige Mitarbeiter Lehrstuhl für Rechnerarchitektur
Matthew Lewis, Dr. Entwickler
Lehrstuhl für Rechnerarchitektur
Tobias Schubert, Dr. Entwickler / Kontakt


Beschreibung

MiraXT ist ein multi-threaded SAT Solver, der konzipiert wurde, Multiprozessorsysteme mit gemeinsamen Speicher auszunutzen.

MiraXT wird nicht mehr weiterentwickelt.



Benchmarks

Jede beliebige SAT Formel in Dimacs Format. Eine Sammlung von SAT Problemen ist bei der SAT Competition zu finden.



Publikationen
Tobias Schubert, Matthew Lewis, Bernd Becker
PaMiraXT: Parallel SAT Solving with Threads and Message Passing
Journal on Satisfiability, Boolean Modeling and Computation -- Special Issue on Parallel SAT Solving, 6:203-222, 2009
Matthew Lewis, Tobias Schubert, Bernd Becker
Multithreaded SAT Solving
12th Asia and South Pacific Design Automation Conference, pages 926-931, 2007