LUP Statistics
Record
- Title
- Certifying combinatorial optimization using pseudo-Boolean reasoning
- Type
- Licentiate Thesis
- Publ. year
- 2025
- Author/s
- Oertel, Andy
- Department/s
- Parallel Systems; LTH Profile Area: AI and Digitalization; ELLIIT: the Linköping-Lund initiative on IT and mobile communication
- In LUP since
- 2025-11-07
Downloads
| Total | This Year | This Month |
| 2 | 2 | 2 |
Finland  |
1 (50%) |
Singapore  |
1 (50%) |