Finite model building: improvements and comparisons (2003)

by T Tammet
Venue:In Proceedings of Workshop: Model Computation – Principles, Algorithms, Applications at the 19th International Conference on Automated Deduction