Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu. Generating Hard SAT/CSP Instances Using Expander Graphs. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 1442-1443, AAAI Press, 2008.
Abstract is missing.