Errata to ``Selecting the top three elements by M. Aigner: A result of a computer-assisted proof search

DOI10.1016/0166-218X(93)90033-KzbMath0768.68040MaRDI QIDQ1208471

Jutta Eusterbrock

Publication date: 16 May 1993

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

combinatorial functionscomputer-assisted proof search

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Total orders (06A05) Discrete mathematics in relation to computer science (68R99)

Related Items (2)

On partial sorting in restricted rounds ⋮ Closing a Long-Standing Complexity Gap for Selection: V 3(42) = 50

Cites Work

• Selecting the top three elements
• A Unified Lower Bound for Selection and Set Partitioning Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Errata to ``Selecting the top three elements by M. Aigner: A result of a computer-assisted proof search