Tractable constraints on ordered domains (1995)

by P Jeavons, M Cooper
Venue:Artificial Intelligence