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

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Khl

Browse the full TACAS paper archive.