Multiple-Paths Search with Concurrent Thread Scheduling for Fast AND/OR Tree Search