Victor Miller
0 views
Skip to first unread message
William Stein
Mar 31, 2009, 1:50:07 AM3/31/09
to sag...@googlegroups.com, 583-...@googlegroups.com, Ralph Greenberg, victor miller, Carl Witty
Hello,
Victor Miller is visiting UW this week. He's going to work on
possibly wrapping some code for Sage related to "binary decision
diagrams" (this involves CUDD and PolyBori) and SAT solvers. He's
going to talk about his plan on Tuesday, March 31 at 3:30pm in
Padelford C36.
-- William
--
William Stein
Associate Professor of Mathematics
University of Washington
http://wstein.org
Reply all
Reply to author
Forward
0 new messages