Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning. - Tevich Treethanyaphong; Athasit Surarerks (EECS, 2018)