Efficient Search for Combinatorial Objects
Walter E. Washington Convention Center DC 801 Allen Y. Lew Place NW, Washington, DC, United StatesA 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 […]