TY  - RPRT
TI  - Parsimonious Optimal Dynamic Partial Order Reduction
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Sarbojit Das
AU  - Bengt Jonsson
AU  - Konstantinos Sagonas
PY  - 2024
UR  - https://arxiv.org/abs/2405.11128
ID  - 2405.11128
ER  -