LUP Statistics
Record
- Title
- Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
- Type
- Dissertation
- Publ. year
- 2022
- Author/s
- Gocht, Stephan
- Department/s
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication; Parallel Systems
- In LUP since
- 2022-05-10
Downloads
| Total | This Year | This Month |
| 431 | 166 | 0 |
United States of America  |
123 (29%) |
China  |
77 (18%) |
United Kingdom of Great Britain and Northern Ireland  |
34 (8%) |
Sweden  |
28 (7%) |
Germany  |
27 (6%) |
Belgium  |
24 (6%) |
Netherlands (Kingdom of the)  |
13 (3%) |
France  |
10 (2%) |
Russian Federation  |
9 (2%) |
Czechia  |
9 (2%) |
Singapore  |
9 (2%) |
Unknown  |
5 (1%) |
India  |
5 (1%) |
Australia  |
5 (1%) |
Switzerland  |
5 (1%) |
Denmark  |
4 (1%) |
Ireland  |
4 (1%) |
South Africa  |
3 (1%) |
Canada  |
3 (1%) |
Austria  |
3 (1%) |
Bangladesh  |
2 (0%) |
South Korea  |
2 (0%) |
Italy  |
2 (0%) |
Hong Kong (China)  |
2 (0%) |
Viet Nam  |
2 (0%) |
Finland  |
2 (0%) |
Taiwan (China)  |
2 (0%) |
Uzbekistan  |
2 (0%) |
Brazil  |
2 (0%) |
Cyprus  |
1 (0%) |
Mongolia  |
1 (0%) |
Spain  |
1 (0%) |
Mexico  |
1 (0%) |
Norway  |
1 (0%) |
Romania  |
1 (0%) |
New Zealand  |
1 (0%) |
Indonesia  |
1 (0%) |
Namibia  |
1 (0%) |
Malaysia  |
1 (0%) |