A weighted tree model for algorithms with Boolean vector operands | IEEE Conference Publication | IEEE Xplore