A relation-algebraic approach to simple games. - Rudolf Berghammer; Stefan Bolus; Agnieszka Rusinowska; Harrie C. M. de Swart (Eur. J. Oper. Res., 2011)

Power indices of simple games and vector-weighted majority games by means of binary decision diagrams. - Stefan Bolus (Eur. J. Oper. Res., 2011)

On the use of binary decision diagrams for solving problems on simple games. - Rudolf Berghammer; Stefan Bolus (Eur. J. Oper. Res., 2012)

A QOBDD-based Approach to Simple Games. - Stefan Bolus (2012)