Author:
Berghammer Rudolf,Schnoor Henning
Subject
Information Systems and Management,Management Science and Operations Research,Modelling and Simulation,General Computer Science,Industrial and Manufacturing Engineering
Reference33 articles.
1. Single transferable vote resists strategic voting;Bartholdi;Social Choice and Welfare,1991
2. How hard is it to control an election?;Bartholdi;Mathematical and Computer Modelling,1992
3. Computing and visualizing banks sets of dominance relations using relation algebra and RelView;Berghammer;Journal on Logic and Algebraic Programming,2013
4. Automated verification of relational while-programs;Berghammer,2014
5. RelView—An OBDD-based Computer Algebra system for relations;Berghammer,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献