Return to Article Details
Throwing Darts: Random Sampling Helps Tree Search when the Number of Short Certificates Is Moderate
Download
Download PDF