Calin Anton, Lane Olson. Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism. In Yong Gao, Nathalie Japkowicz, editors, Advances in Artificial Intelligence, 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009, Proceedings. Volume 5549 of Lecture Notes in Computer Science, pages 16-26, Springer, 2009. [doi]
Abstract is missing.