A distributed constraint-based search architecture for bus timetabling and duty assignment | IEEE Conference Publication | IEEE Xplore