Exponential Lower Bound for Static Semi-algebraic Proofs
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Complexity of Semi-algebraic Proofs
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Algebraic proof systems over formulas
Theoretical Computer Science - Logic and complexity in computer science
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |