====== Minisat on CUDA ======

This project aims at speeding up the execution of SAT solvers using the [[wp>CUDA|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.
[[http://minisat.se/|Minisat]] is a possible target SAT solver.

Contacts:
  - [[http://home.dei.polimi.it/agosta|Giovanni Agosta]]
  - [[http://home.dei.polimi.it/barenghi|Alessandro Barenghi]]
  - [[http://crypto.dei.polimi.it/doku.php?id=team:gerardo_pelosi|Gerardo Pelosi]]