Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory