Login / Signup
From Feasible Proofs to Feasible Computations.
Jan Krajícek
Published in:
CSL (2010)
Keyphrases
</>
feasible solution
real time
machine learning
video sequences
pairwise
control system
linear programming