• Efficient Search for Combinatorial Objects I

    Walter E. Washington Convention Center DC 801 Allen Y. Lew Place NW, Washington, DC, United States

    Part 1 of a tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Room 207A

  • Mathematical Institutes Open House

    Marquis 901 Massachusetts Ave NW, Washingon, DC, United States

    Please join us at the Mathematical Institutes Open House reception to learn about the latest programs and workshops being held by a number of institutions. Hope to see you there!

  • Efficient Search for Combinatorial Objects II

    Walter E. Washington Convention Center DC 801 Allen Y. Lew Place NW, Washington, DC, United States

    Part 2 of a tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Room 207A