Michal Mrena

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Monotone Boolean Functions

Compressed Data

Binary Decision Diagrams

Clustering Algorithm

Top Venues

Publications

Michal Mrena, Miroslav Kvassay, Elena Zaitseva
TeDDy: Templated decision diagram library. SoftwareX 26 (2024)
Michal Mrena, Miroslav Kvassay, Sergey Stankevich
Dynamic Binary Decision Diagram Creation Using an Extended Apply Algorithm. IDAACS (2023)
Michal Mrena, Miroslav Kvassay
Generating Monotone Boolean Functions Using Hasse Diagram. IDAACS (2023)
Pavol Galcik, Michal Mrena, Lucia Piatriková, Sergey Stankevich
Advanced Priority Queues in the OPTICS Clustering Algorithm. IDT (2023)
Michal Mrena, Miroslav Kvassay
Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams. IDT (2021)
Michal Mrena, Peter Sedlacek, Miroslav Kvassay
Linear Fold and Tree Fold in Creation of Binary Decision Diagrams of Standard Benchmarks. IDAACS (2021)