Notes on Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism.

Calin Anton, Christopher Neal

Browse the full AI paper archive.