Calin Anton. An Improved Satisfiable SAT Generator Based on Random Subgraph Isomorphism. In Cory J. Butz, Pawan Lingras, editors, Advances in Artificial Intelligence - 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John s, Canada, May 25-27, 2011. Proceedings. Volume 6657 of Lecture Notes in Computer Science, pages 44-49, Springer, 2011. [doi]
Abstract is missing.