Efficient Search for Combinatorial Objects
A two-part tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate 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.
Walter E. Washington Convention Center DC, 801 Allen Y. Lew Place NW, Washington, DC 20001 United States