Generating 'Random' 3-SAT Instances with Specific Solution Space Structure.

Pushkin R. Pari, Jane Lin, Lin Yuan, Gang Qu

Browse the full AAAI paper archive.