From Streamlined Combinatorial Search to Efficient Constructive Procedures

Open in new window