3SAT Solver

Research work began in Fall 2002.

Leaving an indelible mark on the landscape of tomorrow.