%0 Conference Paper %1 conf/sat/JunttilaKKK17 %A Junttila, Tommi A. %A Karppa, Matti %A Kaski, Petteri %A Kohonen, Jukka %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K %P 101-118 %T An Adaptive Prefix-Assignment Technique for Symmetry Reduction. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#JunttilaKKK17 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/JunttilaKKK17, added-at = {2023-12-14T15:18:46.000+0100}, author = {Junttila, Tommi A. and Karppa, Matti and Kaski, Petteri and Kohonen, Jukka}, biburl = {https://www.bibsonomy.org/bibtex/264667cfb659ef886c85093cd2fdebcba/admin}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_7}, interhash = {e99b74cdca5c24424bddd358caae7223}, intrahash = {64667cfb659ef886c85093cd2fdebcba}, isbn = {978-3-319-66263-3}, keywords = {}, pages = {101-118}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:18:46.000+0100}, title = {An Adaptive Prefix-Assignment Technique for Symmetry Reduction.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#JunttilaKKK17}, volume = 10491, year = 2017 }