![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Backdoor.ppt | 2006-04-14 14:23 | 614K | |
| Cooper.pdf | 2006-03-28 21:52 | 1.5M | |
| MiniSat_short.ps | 2006-02-01 16:02 | 201K | |
| Picture1.png | 2006-02-01 18:44 | 377 | |
| Picture2.png | 2006-02-01 18:47 | 14K | |
| Presburger Arithmetic.ppt | 2006-03-24 11:38 | 263K | |
| SatELite.ps | 2006-02-01 16:02 | 426K | |
| Thumbs.db | 2006-02-01 18:47 | 35K | |
| berkmin.ps | 2006-02-01 16:00 | 680K | |
| cade_cav_2002.pdf | 2006-02-01 16:04 | 151K | |
| filelist.xml | 2006-04-14 14:28 | 710 | |
| grdsat_2003.pdf | 2006-02-01 16:03 | 173K | |
| image001.gif | 2006-04-14 14:28 | 4.5K | |
| image002.gif | 2006-04-14 14:28 | 671 | |
| image003.gif | 2006-04-14 14:28 | 1.5K | |
| image004.gif | 2006-04-14 14:28 | 2.7K | |
| image005.gif | 2006-04-14 14:28 | 109 | |
| image006.png | 2006-04-14 14:28 | 14K | |
| image007.gif | 2006-04-14 14:28 | 888 | |
| image008.gif | 2006-04-14 14:28 | 103 | |
| image009.gif | 2006-04-14 14:28 | 103 | |
| image010.gif | 2006-04-14 14:28 | 2.7K | |
| image011.gif | 2006-04-14 14:28 | 103 | |
| image012.gif | 2006-04-14 14:28 | 2.7K | |
| image013.gif | 2006-04-14 14:28 | 2.7K | |
| p4-pugh.pdf | 2006-03-24 15:55 | 1.1M | |
| page0001.htm | 2006-04-14 14:28 | 393K | |
| page0002.htm | 2006-04-14 14:28 | 397K | |
| page0003.htm | 2006-04-14 14:28 | 387K | |
| pdesgal.htm | 2006-04-14 14:28 | 62K | |
| pubmaster001.htm | 2006-04-14 14:28 | 3.8K | |
| sat-talk.pdf | 2006-04-03 14:59 | 235K | |
| ySAT_paper.pdf | 2006-02-01 16:04 | 264K | |