Generating Hard SAT/CSP Instances Using Expander Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Carlos Ansótegui' in GoogleThis author has not been identified. Look up 'Ramón Béjar' in GoogleThis author has not been identified. Look up 'Cèsar Fernández' in GoogleThis author has not been identified. Look up 'Carles Mateu' in Google

runs on WebDSL