Local Search with a SAT Oracle for Combinatorial Optimization.

Aviad Cohen, Alexander Nadel, Vadim Ryvchin

Browse the full TACAS paper archive.