Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio 0001. Formalizing Alexander duality through BDDs. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022. 2022. [doi]
Abstract is missing.