Automated Refutation with Monte Carlo Search of Graph Theory Conjectures on the Maximum Laplacian Eigenvalue

Lecture notes in computer science 2026

View at publisher

Authors: Liora Taieb, Milo Roucairol, Tristan Cazenave, Ararat Harutyunyan

DOI: 10.1007/978-3-032-09156-7_4

Cited by: 0

References: 19

Fields of Study & Subjects

Advanced Graph Neural Networks Constraint Satisfaction and Optimization Graph Theory and Algorithms

References 19