Errata to ``Selecting the top three elements by M. Aigner: A result of a computer-assisted proof search
From MaRDI portal
Publication:1208471
DOI10.1016/0166-218X(93)90033-KzbMath0768.68040MaRDI QIDQ1208471
Publication date: 16 May 1993
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
68Q25: Analysis of algorithms and problem complexity
06A05: Total orders
68R99: Discrete mathematics in relation to computer science
Related Items
Cites Work