This project aims at speeding up the execution of SAT solvers using the CUDA graphics hardware programming model.
The project is suitable for one to three students (depending on the algorithms chosen).
The development will be done in C using the CUDA Software Developers Kit. Minisat is a possible target SAT solver.
Contacts: