Login / Signup
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity.
Edward A. Hirsch
Arist Kojevnikov
Alexander S. Kulikov
Sergey I. Nikolenko
Published in:
J. Satisf. Boolean Model. Comput. (2009)
Keyphrases
</>
real world
information systems
decision trees
worst case
real time
case study
three dimensional
database systems
digital libraries
np complete
theorem proving
truth values