New techniques that improve MACE-style model finding (0)

by K Claessen, N Sörensson
Venue:In MODEL