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