@mastersthesis {330, title = {Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories}, volume = {Doctor en Cs. de la Computaci{\'o}n}, year = {2014}, month = {02/2014}, school = {Universidad Nacional de C{\'o}rdoba}, type = {PhD}, address = {C{\'o}rdoba}, author = {Ezequiel Orbe} }