A fast routing method for multi-terminal nets using constraint satisfaction problem