Static Symmetry Breaking in Many-Sorted Finite Model Finding

Joseph Poremba

Symmetry in finite model finding problems of many-sorted first-order logic (MSFOL) can be exploited to reduce the number of interpretations considered during search, thereby improv…