4 ms·

You are not wrong AlphaZero-type systems were unable to significantly improve over near-optimal solvers such as z3.

• Zacharias030 2y ago
  Could you point me to some references to learn about his?