parallel-SAT

Benjamin Colby Griffin Teller

Links:

Project Proposal Milestone

Deliverable schedule

Date Deliverable
3/26 Project Proposal
4/15 Project Milestone Report
4/28 Final Project Report
4/29 Poster Session

Project schedule

Timeframe Tasks
3/24 - 3/30 - finish project proposal (Ben, Griffin)
- study existing research (Ben, Griffin)
- write first iteration of sequential reference implementation (Ben)
3/31 - 4/6 - write first iteration of multi-core implementation (Ben)
- write first iteration of GPU implementation (Griffin)
- create testing framework (Ben)
- create benchmarks (Ben)
4/7 - 4/13 - gather performance data for each implementation (Ben)
- gather instrumentation data to help explain observed performance patterns (Griffin)
- write project milestone report (Ben, Griffin)
4/14 - 4/17 - analyze bottlenecks in multi-core implementation (Ben)
- analyze bottlenecks in gpu implementation (Griffin)
- research how to better benchmark SAT solving (Ben, Griffin)
4/18 - 4/20 - improve multi-core implementation performance (Ben)
- improve GPU implementation performance (Griffin)
- improve testing framework (Ben, Griffin)
4/21 - 4/24 - write sudoku demo (Ben, Griffin)
- analyze sudoku performance (Ben, Griffin)
4/25 - 4/27 - gather performance data (Ben)
- gather instrumentation data (Griffin)
- write final report (Ben, Griffin)
- prepare for poster session (Griffin, Ben)