Milos Chromý, Ondrej Cepek. Compiling SL representations of Boolean functions into OBDDs. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020. 2020. [doi]
Abstract is missing.