{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:25Z","timestamp":1762459165585,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_19","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"309-326","source":"Crossref","is-referenced-by-count":2,"title":["Relation Algebra and RelView Applied to Approval Voting"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Nikita","family":"Danilenko","sequence":"additional","affiliation":[]},{"given":"Henning","family":"Schnoor","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00295861","volume":"6","author":"J.J. Bartholdi III","year":"1989","unstructured":"Bartholdi III, J.J., Tovey, C.A., Trick, M.A.: The computational difficulty of manipulating an election. Social Choice and Welfare\u00a06, 227\u2013241 (1989)","journal-title":"Social Choice and Welfare"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0895-7177(92)90085-Y","volume":"16","author":"J.J. Bartholdi III","year":"1992","unstructured":"Bartholdi III, J.J., Tovey, C.A., Trick, M.A.: How hard is it to control an election? Mathematical and Computer Modeling\u00a016, 27\u201340 (1992)","journal-title":"Mathematical and Computer Modeling"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11555964_4","volume-title":"Computer Algebra in Scientific Computing","author":"R. Berghammer","year":"2005","unstructured":"Berghammer, R., Neumann, F.: RelView \u2013 An OBDD-based Computer Algebra system for relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 40\u201351. Springer, Heidelberg (2005)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Brams, S.J., Fishburn, P.C.: Voting procedures. In: Arrow, K., Sen, A., Suzumara, K. (eds.) Handbook of Social Choice and Welfare, vol.\u00a01, pp. 173\u2013236. North-Holland (2002)","DOI":"10.1016\/S1574-0110(02)80008-X"},{"key":"19_CR5","unstructured":"Brams, S.J., Fishburn, P.C.: Approval voting, 2nd edn. Springer (2007)"},{"key":"19_CR6","unstructured":"Brandt, F., Conitzer, V., Endriss, U.: Computational social choice. In: Weiss, G. (ed.) Multiagent Systems, 2nd edn., pp. 213\u2013283. MIT Press (2013)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-69507-3_4","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"Y. Chevaleyre","year":"2007","unstructured":"Chevaleyre, Y., Endriss, U., Lang, J., Maudet, N.: A short introduction to computational social choice. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 51\u201369. Springer, Heidelberg (2007)"},{"key":"19_CR8","unstructured":"Fischer S.: Tabulated binomial coefficients, http:\/\/www-ps.informatik.uni-kiel.de\/~sebf\/haskell\/tabulated-binomial-coefficients.lhs.html"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/j.artint.2007.01.005","volume":"171","author":"E. Hemaspaandra","year":"2007","unstructured":"Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Anyone but him: The complexity of precluding an alternative. Artificial Intelligence\u00a0171, 255\u2013285 (2007)","journal-title":"Artificial Intelligence"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Laslier, J.-F.: And the loser is \u2026plurality voting. In: Felsenthal, D.S., Machover, M. (eds.) Electoral Systems, Studies in Choice and Welfare, pp. 327\u2013351. Springer (2012)","DOI":"10.1007\/978-3-642-20441-8_13"},{"key":"19_CR11","unstructured":"Leoniuk, B.: ROBDD-based implementation of relational algebra with applications. Dissertation, Universit\u00e4t Kiel (2001) (in German)"},{"key":"19_CR12","unstructured":"Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations. Dissertation, Universit\u00e4t Kiel (2003) (in German)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01083171","volume":"38","author":"H. Nurmi","year":"1998","unstructured":"Nurmi, H.: On the difficulty of making social choices. Theory and Decision\u00a038, 99\u2013119 (1998)","journal-title":"Theory and Decision"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and graphs, Discrete mathematics for computer scientists. EATCS Monographs on Theoretical Computer Science. Springer (1993)","DOI":"10.1007\/978-3-642-77968-8"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Schmidt, G.: Relational mathematics. Encyclopedia of Mathematics and its Applications, vol.\u00a0132. Cambridge University Press (2010)","DOI":"10.1017\/CBO9780511778810"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10472-011-9255-9","volume":"62","author":"T. Walsh","year":"2011","unstructured":"Walsh, T.: Is computational complexity a barrier to manipulation? Annals of Mathematics and Artificial Intelligence\u00a062, 7\u201326 (2011)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"19_CR17","unstructured":"http:\/\/www.informatik.uni-kiel.de\/~progsys\/relview"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:07:13Z","timestamp":1746176833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}