Browsing Waterloo Research by Subject "finite model finding"
Now showing items 1-2 of 2
-
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
(Springer, 2016)The problem of finite model finding, finding a satisfying model for a set of first-order logic formulas for a finite scope, is an important step in many verification techniques. In MACE-style solvers, the problem is mapped ... -
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 ...