5 Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
133
14. Schloeter, J.: A Monte Carlo tree search based conflict-driven clause learning SAT solver. In:
Eibl, M., Gaedke, M. (eds.) INFORMATIK 2017, pp. 2549–2560. Gesellschaft für Informatik,
Bonn (2017)
15. Stephan, P., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Combinational test generation using
satisfiability. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 15(9), 1167–1176 (1996)
133
14. Schloeter, J.: A Monte Carlo tree search based conflict-driven clause learning SAT solver. In:
Eibl, M., Gaedke, M. (eds.) INFORMATIK 2017, pp. 2549–2560. Gesellschaft für Informatik,
Bonn (2017)
15. Stephan, P., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Combinational test generation using
satisfiability. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 15(9), 1167–1176 (1996)