Brief Announcement: Round eliminator: a tool for automatic speedup simulation (Q5855256)
From MaRDI portal
scientific article; zbMATH DE number 7323209
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Brief Announcement: Round eliminator: a tool for automatic speedup simulation |
scientific article; zbMATH DE number 7323209 |
Statements
Brief Announcement: Round eliminator: a tool for automatic speedup simulation (English)
0 references
15 March 2021
0 references
LOCAL model
0 references
automatic lower bounds
0 references
automatic upper bounds
0 references
graph problems
0 references
locally checkable problems
0 references
round elimination
0 references
speedup simulation
0 references
