Towards balanced distribution of computations through automated reasoning
Shojanoori, R., Juric, R. and Lohi, M. 2010. Towards balanced distribution of computations through automated reasoning. in: Bolotov, A. (ed.) Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice, ARW 2010 London University of Westminster.