- Tytuł:
- On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs
- Autorzy:
-
Itsykson, D.
Sokolov, D. - Data publikacji:
- 2014
- Słowa kluczowe:
-
heuristic computation
proof systems
non-deterministic algorithm
Arthur-Merlin games - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł