From Streamlined Combinatorial Search to Efficient Constructive Procedures