Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem
Ensemble-based prediction of SAT search behaviour
ICST, 2001.
@article{SAT-2001-NuallainRB,
author = "Breanndán Ó Nualláin and Maarten de Rijke and Johan van Benthem",
doi = "10.1016/S1571-0653(04)00328-2",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "278--289",
title = "{Ensemble-based prediction of SAT search behaviour}",
volume = 9,
year = 2001,
}