Automobile transmission design as a constraint satisfaction problem: first results | IEEE Conference Publication | IEEE Xplore