UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Waterloo Research by Subject "symmetry breaking"
Now showing items 1-1 of 1
-
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding
(IEEE, 2023-06-01)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 improving solver performance for tools such as ...