Miroslav N. Velev, Ping Gao 0002. Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2010), Fort Lauderdale, Florida, USA, January 6-8, 2010. 2010. [doi]
@inproceedings{Velev010,
title = {Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems},
author = {Miroslav N. Velev and Ping Gao 0002},
year = {2010},
url = {http://gauss.ececs.uc.edu/Workshops/isaim2010/papers/velev.pdf},
researchr = {https://researchr.org/publication/Velev010},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Artificial Intelligence and Mathematics (ISAIM 2010), Fort Lauderdale, Florida, USA, January 6-8, 2010},
}