Explores the Boolean Satisfiability Problem and the Davis-Putnam-Logemann-Loveland algorithm, along with modern SAT solvers and efficient solving techniques.
Examines the transition from traditional squats to modern participatory housing, exploring community dynamics, the role of women, and the intersection of architecture and social structures.
