|
|||||
|
|
Typical forcings,NP search problems and an extension of a theorem of Riis |
|
| Authors: | Moritz Müller |
| Affiliation: | Universitat Politècnica de Catalunya, C. Jordi Girona 1-3, Omega-327, 08034 Barcelona, Spain |
| Abstract: | |
| Keywords: | Forcing Bounded arithmetic NP search problems Proof complexity |
| 本文献已被 ScienceDirect 等数据库收录！ | |