From Streamlined Combinatorial Search to Efficient Constructive Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ronan LeBras, Carla P. Gomes, Bart Selman. From Streamlined Combinatorial Search to Efficient Constructive Procedures. In Jörg Hoffmann, Bart Selman, editors, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. pages 499-506, AAAI Press, 2012. [doi]

This author has not been identified. Look up 'Ronan LeBras' in GoogleThis author has not been identified. Look up 'Carla P. Gomes' in GoogleThis author has not been identified. Look up 'Bart Selman' in Google

runs on WebDSL