Zhengyu Li

Die Kombination aus Monte Carlo Tree Search und Cube-and-Conquer steigert die Effizienz beim Lösen von SAT-Problemen.