Finding all solution sets of piecewise-linear interval equations using integer programming | IEEE Conference Publication | IEEE Xplore