Tractable constraints on ordered domains (1995)

by P G Jeavons, M C Cooper
Venue:Artificial Intelligence