Login / Signup

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils HusungClemens DubslaffHolger HermannsMaximilian A. Köhl
Published in: TACAS (3) (2024)
Keyphrases
  • efficient computation
  • probabilistic model
  • domain specific
  • graphical models