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 |
| 776 | 260 | 0 |
United States of America  |
267 (34%) |
China  |
88 (11%) |
United Kingdom of Great Britain and Northern Ireland  |
48 (6%) |
Singapore  |
37 (5%) |
Sweden  |
36 (5%) |
Belgium  |
33 (4%) |
Germany  |
32 (4%) |
Brazil  |
22 (3%) |
India  |
15 (2%) |
Netherlands (Kingdom of the)  |
15 (2%) |
France  |
14 (2%) |
Unknown  |
10 (1%) |
South Korea  |
9 (1%) |
Canada  |
9 (1%) |
Viet Nam  |
9 (1%) |
Australia  |
9 (1%) |
Russian Federation  |
9 (1%) |
Czechia  |
9 (1%) |
Indonesia  |
7 (1%) |
Switzerland  |
6 (1%) |
Finland  |
5 (1%) |
Taiwan (China)  |
5 (1%) |
Mexico  |
4 (1%) |
Pakistan  |
4 (1%) |
Spain  |
4 (1%) |
Ireland  |
4 (1%) |
Ukraine  |
4 (1%) |
Denmark  |
4 (1%) |
South Africa  |
4 (1%) |
Austria  |
3 (0%) |
Bangladesh  |
3 (0%) |
Italy  |
3 (0%) |
Poland  |
3 (0%) |
Thailand  |
3 (0%) |
Lithuania  |
3 (0%) |
Iraq  |
2 (0%) |
Egypt  |
2 (0%) |
Chile  |
2 (0%) |
Turkiye  |
2 (0%) |
Japan  |
2 (0%) |
Argentina  |
2 (0%) |
Hong Kong (China)  |
2 (0%) |
Malaysia  |
2 (0%) |
Uzbekistan  |
2 (0%) |
Luxembourg  |
1 (0%) |
Paraguay  |
1 (0%) |
Hungary  |
1 (0%) |
Puerto Rico  |
1 (0%) |
Bolivia  |
1 (0%) |
Romania  |
1 (0%) |
New Zealand  |
1 (0%) |
Jordan  |
1 (0%) |
Mongolia  |
1 (0%) |
Cyprus  |
1 (0%) |
Namibia  |
1 (0%) |
Latvia  |
1 (0%) |
Norway  |
1 (0%) |
Moldova, The Republic of  |
1 (0%) |
Venezuela  |
1 (0%) |
Syrian Arab Republic  |
1 (0%) |
Colombia  |
1 (0%) |
Croatia  |
1 (0%) |