%0 Journal Article %1 journals/jsc/JunttilaKKK20 %A Junttila, Tommi A. %A Karppa, Matti %A Kaski, Petteri %A Kohonen, Jukka %D 2020 %J J. Symb. Comput. %K dblp %P 21-49 %T An adaptive prefix-assignment technique for symmetry reduction. %U http://dblp.uni-trier.de/db/journals/jsc/jsc99.html#JunttilaKKK20 %V 99

@article{journals/jsc/JunttilaKKK20, added-at = {2020-02-14T00:00:00.000+0100}, author = {Junttila, Tommi A. and Karppa, Matti and Kaski, Petteri and Kohonen, Jukka}, biburl = {https://www.bibsonomy.org/bibtex/217b9535526544cf5b9145dcb357e89fc/dblp}, ee = {https://doi.org/10.1016/j.jsc.2019.03.002}, interhash = {6544cfc9865d7e0a0ec49a86684cf18f}, intrahash = {17b9535526544cf5b9145dcb357e89fc}, journal = {J. Symb. Comput.}, keywords = {dblp}, pages = {21-49}, timestamp = {2020-02-18T11:47:33.000+0100}, title = {An adaptive prefix-assignment technique for symmetry reduction.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc99.html#JunttilaKKK20}, volume = 99, year = 2020 }