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 |
| 657 | 141 | 0 |
United States of America  |
234 (36%) |
China  |
83 (13%) |
United Kingdom of Great Britain and Northern Ireland  |
42 (6%) |
Sweden  |
33 (5%) |
Germany  |
33 (5%) |
Belgium  |
28 (4%) |
Netherlands (Kingdom of the)  |
15 (2%) |
France  |
15 (2%) |
Singapore  |
13 (2%) |
Switzerland  |
11 (2%) |
Brazil  |
10 (2%) |
Russian Federation  |
9 (1%) |
Czechia  |
9 (1%) |
South Korea  |
9 (1%) |
Australia  |
9 (1%) |
Unknown  |
8 (1%) |
India  |
7 (1%) |
Hong Kong (China)  |
7 (1%) |
South Africa  |
6 (1%) |
Canada  |
6 (1%) |
Lithuania  |
5 (1%) |
Indonesia  |
4 (1%) |
Finland  |
4 (1%) |
Ireland  |
4 (1%) |
Viet Nam  |
4 (1%) |
Latvia  |
4 (1%) |
Denmark  |
4 (1%) |
Ukraine  |
4 (1%) |
Austria  |
3 (0%) |
Italy  |
3 (0%) |
Pakistan  |
3 (0%) |
Malaysia  |
2 (0%) |
Uzbekistan  |
2 (0%) |
Thailand  |
2 (0%) |
Chile  |
2 (0%) |
Spain  |
2 (0%) |
Taiwan (China)  |
2 (0%) |
Bangladesh  |
2 (0%) |
Norway  |
1 (0%) |
New Zealand  |
1 (0%) |
Moldova, The Republic of  |
1 (0%) |
Argentina  |
1 (0%) |
Egypt  |
1 (0%) |
Cyprus  |
1 (0%) |
Mexico  |
1 (0%) |
Paraguay  |
1 (0%) |
Mongolia  |
1 (0%) |
Japan  |
1 (0%) |
Romania  |
1 (0%) |
Namibia  |
1 (0%) |
Bolivia  |
1 (0%) |
Luxembourg  |
1 (0%) |