A proof of the Nisan-Ronen conjecture.

George Christodoulou Elias Koutsoupias Annamária Kovács

Published in: CoRR (2023)

Keyphrases

theorem prover
theorem proving
image processing
artificial neural networks
real time
data sets
multimedia
scheduling problem
linear logic
proof theory
proof planning
mathematical proofs