Throwing Darts: Random Sampling Helps Tree Search when the Number of Short Certificates Is Moderate.

John Paul Dickerson, Tuomas Sandholm

Browse the full SoCS paper archive.