Berghammer, Rudolf; Rusinowska, Agnieszka; Swart, Harrie De - HAL - 2013
the BDD-based computer system RelView for the evaluation of the relation-algebraic expressions that specify the solutions … and for the visualization of the computed results. The Copeland set can immediately be identified using RelView's labeling … tournament on a small set of alternatives, for which the above choice sets are computed and visualized via RelView. The technique …