Login / Signup
Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems.
Miroslav N. Velev
Ping Gao
Published in:
ISAIM (2010)
Keyphrases
</>
solving problems
hamiltonian cycle
optimization problems
cost function
decision problems
combinatorial optimization
difficult problems
sat encodings
np complete