Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:schedule [2018/12/11 21:52]
egm
cs-486:schedule [2018/12/11 21:52] (current)
egm
Line 25: Line 25:
 | Week 13 | SwapVariables Algorithm for ROBDDs ([[Lectures | Replace.ppt]]) | | | Week 13 | SwapVariables Algorithm for ROBDDs ([[Lectures | Replace.ppt]]) | |
 |         | AndAbstract for ROBDDs--natural join ([[Lectures | RelProd.ppt]])| |  |         | AndAbstract for ROBDDs--natural join ([[Lectures | RelProd.ppt]])| | 
-| Week 14 | CountMinterm ro ROBDD--how many items are in a set ([[Lectures | SatCount.ppt]]) | [[Homework 13]] |+| Week 14 | CountMinterm ro ROBDD--how many items are in a set ([[Lectures | SatCount.ppt]]) | [[Homework 13 | Homework 12]] |
 |         | CTL Model Checking with ROBDDs and CUDD ([[Lectures | ctl-sym-mc.ppt]] and [http://​web.b.ebscohost.com/​ehost/​detail/​detail?​vid=0&​sid=3203e77a-2a69-48e8-a137-343d241cf23e%40sessionmgr101&​bdata=JnNpdGU9ZWhvc3QtbGl2ZSZzY29wZT1zaXRl#​AN=27235&​db=nlebk Model Checking] Sections 6.2 - 6.3) |  | |         | CTL Model Checking with ROBDDs and CUDD ([[Lectures | ctl-sym-mc.ppt]] and [http://​web.b.ebscohost.com/​ehost/​detail/​detail?​vid=0&​sid=3203e77a-2a69-48e8-a137-343d241cf23e%40sessionmgr101&​bdata=JnNpdGU9ZWhvc3QtbGl2ZSZzY29wZT1zaXRl#​AN=27235&​db=nlebk Model Checking] Sections 6.2 - 6.3) |  |
 | Week 15 | Review and Course Wrap-up | |  | Week 15 | Review and Course Wrap-up | | 
 | Week 16 | Finals | [[Exams | Final]] | | Week 16 | Finals | [[Exams | Final]] |
  
cs-486/schedule.txt ยท Last modified: 2018/12/11 21:52 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0