Berghammer, Rudolf; Rusinowska, Agnieszka; Swart, Harrie De - HAL - 2012
We describe a simple computing technique for the tournament choice problem. It rests upon relational modeling and uses 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...