SAT-Based Big-Step Local Search.

Morad Muslimany, Michael Codish

Browse the full SYNASC paper archive.