Automated Theorem Proving
Brandon Rozek
Software Developer, Researcher, and Linux Enthusiast.
More links coming soonish:
Definitional CNF
Davis Putnam