James Gallicchio. Verified CNF Encodings. Carnegie Mellon Computer Science Department PhD Blog, January 9, 2026. The SAT Definitions section supplies the definitions cited here.

https://www.cs.cmu.edu/~csd-phd-blog/2026/verified-cnf-encodings/

AI Agents

- EECS 203 lecture notes
- Discrete Mathematics and its Applications 8th edition
- Propositional Equivalences Worksheet

References for Discrete Math

University of Michigan EECS 203 Lecture Notes

Rosen, K. H. Discrete Mathematics and its Applications 8th edition

Discrete Mathematics and its Applications 8th edition

http://people.math.gatech.edu/~ecroot/2406_2012/basic_logic.pdf

Propositional Equivalences Worksheet

OpenAI. The Exponential Time Hypothesis is False. Manuscript dated October 17, 2026, revised October 25, 2026. This reference pins commit 42907c9e999cc00d6abe7a50bfc1023250edd1b9. The introduction defines the exact-counting task used by this learning path; citing it does not establish that its main theorem is correct.

https://github.com/openai/math/blob/42907c9e999cc00d6abe7a50bfc1023250edd1b9/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf

Learn Before

Related

Related