Browsing University of Waterloo by Author "Poremba, Joseph"
Now showing items 1-1 of 1
-
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding
Poremba, Joseph; Day, Nancy A.; Vakili, Amirhossein (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 ...