![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Bulldozers.pdf | 2013-03-27 17:58 | 301K | |
| Bulldozers3.pdf | 2013-04-25 14:16 | 642K | |
| Bulldozers II.pdf | 2013-04-04 08:44 | 853K | |
| Petrobras.pdf | 2013-04-18 11:11 | 1.4M | |
| SurynekPavel_SATBenchmarks.pdf | 2013-04-18 11:13 | 1.1M | |
| Whales.pdf | 2013-04-10 14:13 | 3.2M | |
| WhalesIdeas.pdf | 2013-05-23 16:45 | 1.1M | |
| WhalesResults.pdf | 2013-05-23 16:45 | 627K | |
| WhalesResults2.pdf | 2013-05-23 16:45 | 644K | |
| intro2013.pdf | 2013-02-28 10:07 | 3.7M | |