Back to Software and Computational Systems Lab at LMU Munich

GSoC 2024

Extending PJBDD with CESRBDDs: BDDs with Complemented Edges and Edge-Specified Reductions

Project details

Contributor

Ahmed Tarek

Mentors

Daniel Baier, Marek Jankola

Technologies

Not listed in the archive