research
∙
12/24/2019
ADD-Lib: Decision Diagrams in Practice
In the paper, we present the ADD-Lib, our efficient and easy to use fram...
research
∙
12/24/2019
Aggressive Aggregation: a New Paradigm for Program Optimization
In this paper, we propose a new paradigm for program optimization which ...
research
∙
12/23/2019