DMCA

Efficient SAT techniques for absolute encoding of permutation problems: Application to Hamiltonian cycles (2009)

by Miroslav N. Velev , Ping Gao
Venue:IN: PROCEEDINGS SARA
Citations:4 - 1 self