Explores the theoretical aspects of UX audit, expert evaluation, and benchmarking, emphasizing the importance of detecting design issues impacting usability and user experience.
Explores the Boolean Satisfiability Problem and the Davis-Putnam-Logemann-Loveland algorithm, along with modern SAT solvers and efficient solving techniques.
Covers heuristic and formative evaluation methods for interactive systems, emphasizing error prevention, user control, consistency, and flexibility in design.
Covers planning with adversaries, heuristic search algorithms, and strategies for games with chance, emphasizing the significance of deliberative agents.