Change search
ReferencesLink to record
Permanent link

Direct link
Verifying that P is not equal to NP using a theorem prover
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Social Sciences, Department of Informatics and Media. (Andreas Hamfelt)
2012 (English)Report (Other academic)
Place, publisher, year, edition, pages
Uppsala: Uppsala University, Department of Informatics and media , 2012. , 36 p.
Research report / Uppsala University, Department of Information Science, ISSN 1403-7572 ; 2012:1
National Category
Engineering and Technology Natural Sciences
Research subject
Computing Science
URN: urn:nbn:se:uu:diva-187337OAI: diva2:574407
Available from: 2012-12-07 Created: 2012-12-05 Last updated: 2013-12-12Bibliographically approved

Open Access in DiVA

fulltext(1078 kB)223 downloads
File information
File name FULLTEXT01.pdfFile size 1078 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Tärnlund, Sten-Åke
By organisation
Department of Informatics and Media
Engineering and TechnologyNatural Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 223 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1339 hits
ReferencesLink to record
Permanent link

Direct link