Parallel And-Inverter Graph Simulation Using a Task-graph Computing System. - Elmir Dzaka; Dian-Lun Lin; Tsung-Wei Huang (IPDPS Workshops, 2023)