70 citations · 80 across the 14 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.CO2023
Automating Weight Function Generation in Graph Pebbling
Dominic Flocco, Jonad Pulaj, Carl Yerger
Graph pebbling is a combinatorial game played on an undirected graph with an initial configuration of pebbles. A pebbling move consists of removing two pebbles from one vertex and…
cs.LO2023
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.CO2023
Local Configurations in Union-Closed Families
Jonad Pulaj, Kenan Wood
The Frankl or Union-Closed Sets conjecture states that for any finite union-closed family of sets containing some nonempty set, there is some element in the groun…