CMU 15-418 (Spring 2012) Final Project:
Parallel k-SAT Solver
Michael Wang (mswang)
Ran (Charles) Guo (rang)
Reports

Project Proposal

Checkpoint Report

Final Report

Working Schedule

Week What We Plan To Do What We Actually Did
Apr 1-7Plan ApproachResearched the problem
Apr 8-14Design and ImplementImplemented naive algorithm (Serial)
Apr 15-21ImplementImplemented DPLL algorithm
Mon 4/23 - Thu 4/26Design CUDA implementation of solverFixed bugs in serial version
Fri 4/27 - Sun 4/29Finish CUDA implementation of solverDesigned CUDA implementation
Mon 4/30 - Thu 5/3Fine-tuning,Performance testingFinished CUDA implementation
Fri 5/4 - Sun 5/6Fine-tuning,Performance testingOptimized CUDA implementation
Mon 5/7 - Thu 5/10Finalize,prepare report and presentationPrepared Report and Presentation

Working Log

[list of optimizations tried, failures, ranting, etc.

April 2nd - Finished Proposal

April 19th - Finished DPLL algorithm (serial)

May 1st - Finished CUDA implementation

May 10th - Project Presentations...did not win :(

May 11th - Finished Writeup :) Class,Semester,College OVER. Out of Pittsburgh, moving on to Santa Clara and Seattle, respectively