![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| comps.png | 2022-02-05 00:55 | 262K | |
| wires.png | 2022-02-05 00:55 | 250K | |
| nb_wires.png | 2022-02-16 02:22 | 246K | |
| nb_clauses.png | 2022-02-16 02:22 | 194K | |
| presolve_times.png | 2021-10-26 03:00 | 189K | |
| nb_wires.svg | 2022-02-18 02:04 | 119K | |
| nb_clauses.svg | 2022-02-18 02:04 | 104K | |
| snet_info.pdf | 2022-05-05 00:56 | 54K | |
| nb_clauses.pdf | 2022-02-18 02:15 | 42K | |
| nb_wires.pdf | 2022-02-18 02:15 | 39K | |
| upper_bound_study/ | 2021-03-21 01:05 | - | |
| solver_comparison/ | 2022-01-11 16:51 | - | |
| optimisation/ | 2022-05-04 18:18 | - | |
| mss_incr/ | 2021-08-31 00:38 | - | |
| approximation/ | 2021-09-28 18:49 | - | |