New techniques that improve mace-style finite model finding (0)

by K Claessen, N Sorensson
Venue:2003, proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications. 148