Reductions and Extension-Based Proofs.

Kayman Brusse Faith Ellen

Published in: PODC (2021)

Keyphrases

learning algorithm
real time
data sets
genetic algorithm
case study
multi agent
data streams
evolutionary algorithm
theorem prover