Succinct Set-Encoding for State-Space Search