Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism. - Calin Anton; Lane Olson (Canadian AI, 2009)