%0 Conference Paper %1 conf/tacas/MetinBCK18 %A Metin, Hakan %A Baarir, Souheib %A Colange, Maximilien %A Kordon, Fabrice %B TACAS (1) %D 2018 %E Beyer, Dirk %E Huisman, Marieke %I Springer %K dblp %P 99-114 %T CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2018-1.html#MetinBCK18 %V 10805 %@ 978-3-319-89960-2

@inproceedings{conf/tacas/MetinBCK18, added-at = {2018-06-26T00:00:00.000+0200}, author = {Metin, Hakan and Baarir, Souheib and Colange, Maximilien and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/24bbbdec6d5e5b28a4990e87871e911a7/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2018-1}, editor = {Beyer, Dirk and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-89960-2_6}, interhash = {3af083d5e60dd2f5d5e79e83f2d58516}, intrahash = {4bbbdec6d5e5b28a4990e87871e911a7}, isbn = {978-3-319-89960-2}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:22.000+0200}, title = {CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2018-1.html#MetinBCK18}, volume = 10805, year = 2018 }