Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles

Velev, Gao




Search conference