An electronic market model with mathematical formulation and heuristics for large-scale book trading | IEEE Conference Publication | IEEE Xplore