Theory of Computation
2021
- The P vs NP Problem: An Overview Jun 23
- The Clique Problem and NP-Completeness Jun 3
- The 3-SAT Problem and NP-Completeness May 28
- The Boolean Satisfiability Problem (SAT) May 14
- Rice's Theorem and Its Applications Apr 21
- The Post Correspondence Problem Apr 2
- The Minimization Problem for Deterministic Finite Automata Mar 16
- The Inclusion Problem for Deterministic Finite Automata Mar 1
- The Universality Problem for Deterministic Finite Automata Feb 16
- The Equivalence Problem for Deterministic Finite Automata Feb 2