MiraXT
| project staff | description | benchmarks | publications
|
| former employee Chair of Computer Architecture | |
| Matthew Lewis, Dr. | developer |
| Chair of Computer Architecture | |
| Tobias Schubert, Dr. | developer / contact |
MiraXT is a multi-threaded SAT solver which was designed to take advantage of shared memory multiprocessor systems.
MiraXT is not maintained anymore.
Any SAT formula in Dimacs format. A collection of SAT problems can be found at the SAT Competition.
|
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 |