FINDER: Finite Domain Enumerator (1994)

by John Slaney
Venue:Proceedings of the 12th International Conference on Automated Deduction (CADE--12), number 814 in Lecture Notes in Artificial Intelligence