@article{Junttila_2020,
    doi = {10.1016/j.jsc.2019.03.002},
    url = {https://doi.org/10.1016%2Fj.jsc.2019.03.002},
    year = {2020},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {99},
    pages = {21--49},
    author = {Tommi Junttila and Matti Karppa and Petteri Kaski and Jukka Kohonen},
    title = {An adaptive prefix-assignment technique for symmetry reduction},
    journal = {Journal of Symbolic Computation}
}

@article{Junttila_2020, doi = {10.1016/j.jsc.2019.03.002}, url = {https://doi.org/10.1016%2Fj.jsc.2019.03.002}, year = {2020}, month = {jul}, publisher = {Elsevier {BV}}, volume = {99}, pages = {21--49}, author = {Tommi Junttila and Matti Karppa and Petteri Kaski and Jukka Kohonen}, title = {An adaptive prefix-assignment technique for symmetry reduction}, journal = {Journal of Symbolic Computation} }