RZN AI
3SAT Solver
Research work began in Fall 2002.
Leaving an indelible mark on the landscape of tomorrow.