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 |
145 | 42 | 10 |
United Kingdom of Great Britain and Northern Ireland | 26 (19%) |
United States of America | 19 (14%) |
Germany | 15 (11%) |
Sweden | 14 (10%) |
China | 9 (7%) |
Netherlands (Kingdom of the) | 7 (5%) |
France | 5 (4%) |
Ireland | 4 (3%) |
Switzerland | 4 (3%) |
Singapore | 4 (3%) |
Austria | 3 (2%) |
Russian Federation | 3 (2%) |
India | 2 (1%) |
Viet Nam | 2 (1%) |
Canada | 2 (1%) |
South Africa | 2 (1%) |
Belgium | 2 (1%) |
Unknown | 2 (1%) |
Bangladesh | 2 (1%) |
Finland | 2 (1%) |
Uzbekistan | 2 (1%) |
Romania | 1 (1%) |
Taiwan (China) | 1 (1%) |
Cyprus | 1 (1%) |
Spain | 1 (1%) |