FINDER: Finite Domain Enumerator, System Description (1994)

by J Slaney
Venue:Proceedings of the 12th International Conference on Automated Deduction