![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| JACM2006revision.pdf | 2006-09-21 13:27 | 434K | |
| AIJ-3418-soft-constr..> | 2006-09-19 11:33 | 484K | |
| clause-learning/ | 2006-09-15 09:35 | - | |
| SAT06-Max-sat-calcul..> | 2006-09-11 10:20 | 127K | |
| slides-afm-tutorial-..> | 2006-09-08 17:11 | 68K | |
| IJFCS06-e3sat-attrac..> | 2006-09-06 09:10 | 265K | |
| Partial-SAT2.pdf | 2006-08-30 14:48 | 5.4M | |
| p216-schaefer.pdf | 2006-08-30 11:43 | 1.0M | |
| 00514860-hierarchica..> | 2006-08-30 11:42 | 1.1M | |