Explores the complexities of urban land ownership, from overlapping rights to land value dynamics, emphasizing the importance of understanding land ownership in urban planning.
Delves into decentralized urban planning, exploring historical theories and envisioning cities with collective ownership, minimal traffic, and integrated nature.
Explores the Boolean Satisfiability Problem and the Davis-Putnam-Logemann-Loveland algorithm, along with modern SAT solvers and efficient solving techniques.
