Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems.

Miroslav N. Velev, Ping Gao

Browse the full ISAIM paper archive.