![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ccmin-trans.pdf | 26-Jun-2009 18:47 | 606K | |
| cert-tables-sat07.pdf | 24-Oct-2010 18:46 | 110K | |
| minisat-comparison.pdf | 01-Mar-2009 23:56 | 78K | |
| proofs-isaim08-long.pdf | 29-Sep-2007 17:40 | 360K | |
| proofs-isaim08-trans.pdf | 28-Dec-2007 02:07 | 156K | |
| proofs-progress.pdf | 07-Mar-2007 00:28 | 342K | |
| proofs-progress.ps | 07-Mar-2007 00:28 | 246K | |
| proofs-sat07-trans.pdf | 20-May-2007 23:28 | 69K | |
| sgen2-sat10.pdf | 22-Apr-2010 18:59 | 238K | |
| sgen2-sat10.ps | 22-Apr-2010 18:59 | 263K | |
| wkshop-trans.pdf | 01-Mar-2008 01:24 | 156K | |
| wkshop-trans.ps | 01-Mar-2008 01:24 | 207K | |