Login / Signup
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.
Nils Husung
Clemens Dubslaff
Holger Hermanns
Maximilian A. Köhl
Published in:
TACAS (3) (2024)
Keyphrases
</>
efficient computation
probabilistic model
domain specific
graphical models