Research outputs (3)

1. Published

   Compressing Binary Decision Diagrams

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

2. Published

   Decision Support using Finite Automata and Decision Diagrams

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research

3. Published

   Improving the Performance of Interactive Configuration with Regular String Constraints

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review