From Streamlined Combinatorial Search to Efficient Constructive Procedures.

Ronan LeBras, Carla P. Gomes, Bart Selman

Browse the full AAAI paper archive.