~/Automated Theorem Proving

Brandon Rozek

PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast

More links coming soonish:

Definitional CNF
Davis Putnam
Finding Counter-Models through Truth Functional Expansions

© 2025 Brandon Rozek. Powered by Hugo using a modified version of the pulp theme.

Content Pages

Observations
Blog
Community
Menu
Notes
Presentations
Research
Teaching Assistant
Toots
Tracks

More Pages

Contact
Elsewhere
Now
Places Visited
Postroll
Publications
Stats
Subscribe
Support

Show Badges

0.05g of CO₂/viewWebsite Carbon

Cleaner than 95% of pages tested