Explores the Boolean Satisfiability Problem and the Davis-Putnam-Logemann-Loveland algorithm, along with modern SAT solvers and efficient solving techniques.
Explores the theoretical aspects of UX audit, expert evaluation, and benchmarking, emphasizing the importance of detecting design issues impacting usability and user experience.