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 |
155 | 52 | 9 |
United Kingdom of Great Britain and Northern Ireland ![]() |
![]() |
United States of America ![]() |
![]() |
Germany ![]() |
![]() |
Sweden ![]() |
![]() |
China ![]() |
![]() |
Netherlands (Kingdom of the) ![]() |
![]() |
France ![]() |
![]() |
Ireland ![]() |
![]() |
Switzerland ![]() |
![]() |
Singapore ![]() |
![]() |
Austria ![]() |
![]() |
South Africa ![]() |
![]() |
Russian Federation ![]() |
![]() |
Finland ![]() |
![]() |
Unknown ![]() |
![]() |
Belgium ![]() |
![]() |
Canada ![]() |
![]() |
Bangladesh ![]() |
![]() |
Uzbekistan ![]() |
![]() |
India ![]() |
![]() |
Viet Nam ![]() |
![]() |
Romania ![]() |
![]() |
Cyprus ![]() |
![]() |
Taiwan (China) ![]() |
![]() |
Spain ![]() |
![]() |