Zhengyang Lu

Combinar la Búsqueda de Árboles de Monte Carlo con Cube-and-Conquer mejora la eficiencia de la resolución de SAT.

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