Zhengyang Lu

Apresentando o Z3alpha, um novo método para geração de estratégia SMT usando Busca em Árvore de Monte Carlo.

Combinar Monte Carlo Tree Search com Cube-and-Conquer aumenta a eficiência na resolução de SAT.

Este artigo fala sobre como estratégias de reset melhoram o desempenho do solucionador SAT usando aprendizado por reforço.