MaDriD: Multicore Decision Diagrams

Funded by: NWO
Duration: May 2012 until May 2016

Research team

The following people are involved in the project: