On fast heuristic non-deterministic algorithms and short heuristic proofs (Q2934878)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On fast heuristic non-deterministic algorithms and short heuristic proofs |
scientific article; zbMATH DE number 6382109
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On fast heuristic non-deterministic algorithms and short heuristic proofs |
scientific article; zbMATH DE number 6382109 |
Statements
On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs (English)
0 references
22 December 2014
0 references
heuristic computation
0 references
proof systems
0 references
non-deterministic algorithm
0 references
Arthur-Merlin games
0 references
0.7604585886001587
0 references
0.7588402628898621
0 references
0.7526980042457581
0 references
0.7526980042457581
0 references
0.720212459564209
0 references
