New Techniques that Improve MACE-style Finite Model Finding (2003)

by K Claessen, N Sorensson
Venue:Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications