Login / Signup

More on the relative strength of counting principles.

Paul BeameSøren Riis
Published in: Proof Complexity and Feasible Arithmetics (1996)
Keyphrases
  • real time
  • artificial intelligence
  • image processing
  • optimal solution
  • worst case