Saffidine, Abdallah - Université Paris-Dauphine (Paris IX) - 2013
algorithms such as Proof Number Search, Monte Carlo Tree Search, and the Product Propagation algorithm.We then show how a similar … in modal logic K.This gives rise to new Proof Number and Monte Carlo inspired search algorithms for these settings …