Tomas Balyo, Armin Biere, Markus Iser, Carsten Sinz. SAT Race 2015. Artificial Intelligence, 241:45-65, 2016. [doi]
@article{BalyoBIS16,
title = {SAT Race 2015},
author = {Tomas Balyo and Armin Biere and Markus Iser and Carsten Sinz},
year = {2016},
doi = {10.1016/j.artint.2016.08.007},
url = {http://dx.doi.org/10.1016/j.artint.2016.08.007},
researchr = {https://researchr.org/publication/BalyoBIS16},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {241},
pages = {45-65},
}