36:06 duration 36 minutes 6 seconds
Depth lower bounds in Stabbing Planes - Nicola…
Depth lower bounds in Stabbing Planes - Nicola Galesi
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Depth lower bounds in Stabbing Planes by Nicola Galesi, Sapienza University Rome
18:19 duration 18 minutes 19 seconds
17a
State-space Search in Planning