New techniques that improve MACE-style finite model finding (2003)

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