Efficient Search for Combinatorial Objects I
Walter E. Washington Convention Center DC 801 Allen Y. Lew Place NW, Washington, DC, United StatesPart 1 of a tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Room 207A