Hard SAT and CSP instances with Expander Graphs.

Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carles Mateu

Browse the full ISAIM paper archive.