TY - RPRT TI - Using real algebraic geometry to solve combinatorial problems with symmetries AU - Erik Sjöland PY - 2014 UR - https://arxiv.org/abs/1408.1065 ID - 1408.1065 ER -