Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon. The International SAT Solver Competitions. AI Magazine, 33(1):89-92, 2012. [doi]
@article{JarvisaloBRS12,
title = {The International SAT Solver Competitions},
author = {Matti Järvisalo and Daniel Le Berre and Olivier Roussel and Laurent Simon},
year = {2012},
url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2395},
researchr = {https://researchr.org/publication/JarvisaloBRS12},
cites = {0},
citedby = {0},
journal = {AI Magazine},
volume = {33},
number = {1},
pages = {89-92},
}