Calin Anton Lane Olson Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism. 16-26 2009 Canadian Conference on AI http://dx.doi.org/10.1007/978-3-642-01818-3_5 conf/ai/2009 db/conf/ai/ai2009.html#AntonO09