%0 Journal Article %1 journals/cacm/HeuleK17 %A Heule, Marijn J. H. %A Kullmann, Oliver %D 2017 %J Commun. ACM %K %N 8 %P 70-79 %T The science of brute force. %U http://dblp.uni-trier.de/db/journals/cacm/cacm60.html#HeuleK17 %V 60

@article{journals/cacm/HeuleK17, added-at = {2023-12-12T17:53:10.000+0100}, author = {Heule, Marijn J. H. and Kullmann, Oliver}, biburl = {https://www.bibsonomy.org/bibtex/247f815ac9a11ae5e1b544944e71088fa/admin}, ee = {https://doi.org/10.1145/3107239}, interhash = {0a3824944de0f09c1e56c73f0c3a35c2}, intrahash = {47f815ac9a11ae5e1b544944e71088fa}, journal = {Commun. ACM}, keywords = {}, number = 8, pages = {70-79}, timestamp = {2023-12-12T17:53:10.000+0100}, title = {The science of brute force.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm60.html#HeuleK17}, volume = 60, year = 2017 }