Author

Valentino Vito

0 works0 citationsORCID

Recent research

  • AI & ComputingOpen access

    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...

    ACM Transactions on Mathematical Software2026-09-280 citationsDOI