Applied Hilbert's Nullstellensatz for Combinatorial Problems