Satoshi Horie, Osamu Watanabe. Hard Instance Generation for SAT (Extended Abstract). In Hon Wai Leong, Hiroshi Imai, Sanjay Jain, editors, Algorithms and Computation, 8th International Symposium, ISAAC 97, Singapore, December 17-19, 1997, Proceedings. Volume 1350 of Lecture Notes in Computer Science, pages 22-31, Springer, 1997.
Abstract is missing.