Login / Signup

Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines.

Christian HerrmannJohanna SokoliMartin Ziegler
Published in: MCU (2013)
Keyphrases
  • real life
  • real world
  • support vector
  • case study
  • computational complexity
  • description logics
  • first order logic
  • finite automata