Efficient Search Procedures for Solving Combinatorial Problems