2 papers
math.CO2023
On SAT Solvers and Ramsey-type Numbers
Burcu Canakci, Hannah Christenson, Robert Fleischman +3
We created and parallelized two SAT solvers to find new bounds on some Ramsey-type numbers. For , let be the least such that for all -colorings of the $[n]\t…
math.CO2017
The Muffin Problem
Guangiqi Cui, John Dickerson, Naveen Durvasula +6
You have muffins and students. You want to divide the muffins into pieces and give the shares to students such that every student has muffins. Find a divide-a…