DMCA

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation (SARA2009) Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles

Cached

Download Links

by Miroslav N. Velev , Ping Gao