Optimization in switched circuits design using constraint programming | IEEE Conference Publication | IEEE Xplore