Login / Signup

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.

Ignasi AbíoMorgan DetersRobert NieuwenhuisPeter J. Stuckey
Published in: SAT (2011)
Keyphrases