Generating Hard SAT/CSP Instances Using Expander Graphs.

Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carles Mateu

Browse the full AAAI paper archive.