New Lower Bounds for Polynomial Calculus over Non-Boolean Bases.

Yogesh Dahiya, Meena Mahajan, Sasank Mouli

Browse the full SAT paper archive.