Lectures related to Algebraic normal form

Covers the implementation of ray intersections with planes, cylinders, and spheres.

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.

Explores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.