A Proof of the Nisan-Ronen Conjecture.

George Christodoulou Elias Koutsoupias Annamária Kovács

Published in: STOC (2023)

Keyphrases

database
three dimensional
preprocessing
theorem prover
information systems
web services
reinforcement learning
search algorithm
multi agent systems
mobile robot
description logics
natural deduction