Efficient Search for Combinatorial Objects
A two-part tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Meets 1-2:30 pm each day in Room 207A. Associated slides: first day […]
A two-part tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Meets 1-2:30 pm each day in Room 207A. Associated slides: first day […]