MiraXT
| Beteiligte Mitarbeiter | Beschreibung | Benchmarks | Publikationen
|
| ehemalige Mitarbeiter Lehrstuhl für Rechnerarchitektur | |
| Matthew Lewis, Dr. | Entwickler |
| Lehrstuhl für Rechnerarchitektur | |
| Tobias Schubert, Dr. | Entwickler / Kontakt |
MiraXT ist ein multi-threaded SAT Solver, der konzipiert wurde, Multiprozessorsysteme mit gemeinsamen Speicher auszunutzen.
MiraXT wird nicht mehr weiterentwickelt.
Jede beliebige SAT Formel in Dimacs Format. Eine Sammlung von SAT Problemen ist bei der SAT Competition zu finden.
|
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 |