3 papers
math.CO2025
Social Networks: Enumerating Maximal Community Patterns in -Closed Graphs
Gabriela Bourla, Kaixin Wang, Fan Wei +1
Jacob Fox, C. Seshadhri, Tim Roughgarden, Fan Wei, and Nicole Wein introduced the model of -closed graphs--a distribution-free model motivated by triadic closure, one of the mos…
cs.LO2025
Satisfiability Modulo Theories for Verifying MILP Certificates
Kenan Wood, Runtian Zhou, Haoze Wu +2
Correctness of results from mixed-integer linear programming (MILP) solvers is critical, particularly in the context of applications such as hardware verification, compiler optimiz…
math.CO2024
Lollipop and Cubic Weight Functions for Graph Pebbling
Marshall Yang, Carl Yerger, Runtian Zhou
Given a configuration of pebbles on the vertices of a graph , a pebbling move removes two pebbles from a vertex and puts one pebble on an adjacent vertex. The pebbling number of…