Efficient Search for Combinatorial Objects I

Name: Efficient Search for Combinatorial Objects I
Start: 2026-01-05T13:00:00-05:00
End: 2026-01-05T14:30:00-05:00
Location: Walter E. Washington Convention Center DC

January 5, 2026 @ 1:00 pm

Part 1 of a tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects.