Plans
Following discussion in class yesterday, there will be no further meetings this week.
Because I was unable to provide you with materials last week, there is no longer time for you to prepare oral presentations, so your oral presentation has been CANCELLED. Instead we will discuss two key papers in class. You should prepare for these classes by reading the papers, identifying the key ideas they introduce, and noting some questions for discussion.
Next week we will meet on
- Tuesday 10am, to discuss Graph-based Algorithms for Boolean Function Manipulation by Bryant
- Wednesday 2pm, to discuss ModGen: Theorem Proving by Model Generation by Kim and Zhang
- Friday 10am for a final review
2 Comments:
Refinance your Home loan Now, Click Here to save thousands of dollars a year on your home loan.
I read over your blog, and i found it inquisitive, you may find My Blog interesting. My blog is just about my day to day life, as a park ranger. So please Click Here To Read My Blog
Post a Comment
<< Home