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

by K Claessen, N Sörensson
Venue:in Proceedings of the CADE19 Workshop: Model Computation – Principles, Algorithms, Applications