Homogenization and the Polynominal Calculus
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Expressing combinatorial problems by systems of polynomial equations and hilbert's nullstellensatz
Combinatorics, Probability and Computing
Entailment multipliers: an algebraic characterization of validity for classical and modal logics
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
Journal of Symbolic Computation
| Hi-index | 0.00 |