Conference Paper/Proceeding/Abstract 1047 views 189 downloads
Total Search Problems in Bounded Arithmetic and Improved Witnessing
Logic, Language, Information, and Computation, Volume: 10388, Pages: 31 - 47
Swansea University Authors:
Arnold Beckmann , Jean Razafindrakoto
-
PDF | Accepted Manuscript
Download (397.17KB)
DOI (Published version): 10.1007/978-3-662-55386-2_3
Abstract
Total Search Problems in Bounded Arithmetic and Improved Witnessing
Published in: | Logic, Language, Information, and Computation |
---|---|
ISBN: | 978-3-662-55385-5 978-3-662-55386-2 |
ISSN: | 0302-9743 1611-3349 |
Published: |
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
2017
|
Online Access: |
Check full text
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa33863 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Start Page: |
31 |
---|---|
End Page: |
47 |