Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Miroslav N. Velev' in GoogleThis author has not been identified. Look up 'Ping Gao 0002' in Google

runs on WebDSL