Factorization using binary decision diagrams

As of May 2026, all Simula affiliated publications are now stored in The Norwegian Research Information Repository (NVA).

See this publication on NVA