Efficient Search for Combinatorial Objects II
January 6, 2026 @ 1:00 pm
Part 2 of a tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects.
Room 207A
Part 2 of a tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects.
Room 207A