Complexity of Semialgebraic Proofs with Restricted Degree of Falsity.

Arist Kojevnikov Alexander S. Kulikov

Published in: SAT (2006)

Keyphrases

computer vision
database
information systems
truth values
databases
information retrieval
optimal solution
computational complexity
computational cost
formal proofs