Lim Yohanes Stefanus

Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory

Graph theory is an interdisciplinary field of study that has various applications in mathematical modeling and computer science. Research in graph theory depends on the creation of not only theorems but also conjectures. Conjecture-refuting algorithms attempt to refute conjecture...