Incrementally solving functional constraints (2002)

by Y Zhang, R H C Yap
Venue:In Proceedings of the Eighteenth National Conference on Artificial Intelligence