Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning

2019 ◽  
pp. 107-133
Author(s):  
Oliver Keszocze ◽  
Kenneth Schmitz ◽  
Jens Schloeter ◽  
Rolf Drechsler
Keyword(s):  
Monte Carlo ◽  
Tree Search ◽  
Sat Solving ◽  
Monte Carlo Tree Search ◽  
Clause Learning

Scalable Parallel Model Checking via Monte-Carlo Tree Search

2018 ◽  
Vol 42 (4) ◽  
pp. 1-5 ◽  
Author(s):  
Reed M. Milewicz ◽  
Simon Poulding
Keyword(s):  
Monte Carlo ◽  
Model Checking ◽  
Tree Search ◽  
Parallel Model ◽  
Monte Carlo Tree Search

scholarly journals Playing Carcassonne with Monte Carlo Tree Search

2020 ◽  
Author(s):  
Fred Valdez Ameneyro ◽  
Edgar Galvan ◽  
Angel Fernando Kuri Morales
Keyword(s):  
Monte Carlo ◽  
Tree Search ◽  
Monte Carlo Tree Search
Sign in / Sign up

Export Citation Format

Share Document