An Enhanced Algorithm for Variable Reordering in Binary Decision Diagrams. - Chaitanya Varma (ICCCNT, 2018)

Whodunnit? A case-study of an investigation to find a multi-core scalability bottleneck. - Chaitanya Varma; Varsha Apte (COMSNETS, 2023)