Decreasing alternative solutions multitude power using branch and bound algorithm during solving MEMS synthesis task | IEEE Conference Publication | IEEE Xplore