4 citations · 15 across the 19 of their papers we have counts for
1 paper · 2 filters
Tomáš Čížek, Martin Balko, Martin Schmid
Proof-Number Search is a best-first search algorithm with many successful applications, especially in game solving. As large-scale computing clusters become increasingly accessible…