Automated parallelization of discrete state-space generation | lit.salon