Design of a High Performance Battery Pack as a Constraint Satisfaction Problem | IEEE Conference Publication | IEEE Xplore