Witnessing Functions in Bounded Arithmetic and Search Problems (1994)
by
Mario Chiari
,
Jan Krajicek
| Citations: | 34 - 4 self |
Document Versions
| Witnessing Functions in Bounded Arithmetic and Search Problems –Mario Chiari, Jan Krajicek — 1994 |
