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

by Koen Claessen
Venue:Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications
Citations:61 - 1 self