Efficient Techniques for Distributed Implementation of Search-Based AI Systems