Computer-Assisted Mathematics Minisymposium¶

Cayden Codel's talk “Verified encodings for SAT solvers” has been moved to Wednesday 5:30 in 1L06.¶

The rest of the session will be held as normal and I will give a brief introduction to SAT at 3:30 in order to lead into Craig Kaplan's talk.

Schedule¶

4:00 Craig S. Kaplan “Heesch numbers of unmarked polyforms”

4:30 Narad Rampersad “Using Walnut: recent results in combinatorics on words and number theory”

5:00 Taylor Brysiewicz “Rational cubics through non-generic points”

5:30 Brett Stevens “Enumeration and classification of single change covering designs”

Talk Abstracts