Techniques for Symbol Grounding with SATNet