Cycle-based Simulation with Decision Diagrams. - Raimund Ubar; Jaan Raik; Adam Morawiec (DATE, 1999)

Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams. - Adam Morawiec; Raimund Ubar; Jaan Raik (DATE, 2000)

Back-tracing and event-driven techniques in high-level simulation with decision diagrams. - Raimund Ubar; Jaan Raik; Adam Morawiec (ISCAS, 2000)

On Rooks, Marriages, and Matchings or Steinhaus via Hall. - Adam Morawiec (Graphs Comb., 2019)