Charlie Liu

Este artículo habla sobre cómo las estrategias de reinicio mejoran el rendimiento de los solucionadores SAT usando aprendizaje por refuerzo.