Computing Symbolic Steady States of Boolean Networks