{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:54:00Z","timestamp":1773525240222,"version":"3.50.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"19","license":[{"start":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:00:00Z","timestamp":1605657600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:00:00Z","timestamp":1605657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","award":["PID2019-I04987GB-I00"],"award-info":[{"award-number":["PID2019-I04987GB-I00"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s00500-020-05422-5","type":"journal-article","created":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T12:03:01Z","timestamp":1605700981000},"page":"12627-12640","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the enumeration of Boolean functions with distinguished variables"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9033-9432","authenticated-orcid":false,"given":"Josep","family":"Freixas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,18]]},"reference":[{"key":"5422_CR1","doi-asserted-by":"crossref","unstructured":"Boros E, Hammer PL, Ibaraki T, Kawakawi K (1991) Identifying 2-monotonic positive Boolean functions in polynomial time. In: Hsu WL, Lee RCT (eds) ISA\u201991 algorithms, Springer Lecture Notes in Computer Sciences (LNCS), vol 557, pp 104\u2013115","DOI":"10.1007\/3-540-54945-5_54"},{"key":"5422_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1137\/S0097539793269089","volume":"26","author":"E Boros","year":"1997","unstructured":"Boros E, Hammer PL, Ibaraki T, Kawakawi K (1997) Polynomial time recognition of $$2$$-monotonic positive functions given by an oracle. SIAM J Comput 26:93\u2013109","journal-title":"SIAM J Comput"},{"key":"5422_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0165-4896(96)00815-3","volume":"32","author":"F Carreras","year":"1996","unstructured":"Carreras F, Freixas J (1996) Complete simple games. Math Soc Sci 32:139\u2013155","journal-title":"Math Soc Sci"},{"key":"5422_CR4","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.ejor.2014.01.020","volume":"236","author":"WS Cheung","year":"2014","unstructured":"Cheung WS, Ng TW (2014) A three-dimensional voting system in Hong Kong. Eur J Oper Res 236:292\u2013297","journal-title":"Eur J Oper Res"},{"key":"5422_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0167-5060(08)70731-3","volume":"1","author":"V Chv\u00e1tal","year":"1977","unstructured":"Chv\u00e1tal V, Hammer PL (1977) Aggregation of inequalities in integer programming. Ann Discrete Math 1:145\u2013162","journal-title":"Ann Discrete Math"},{"key":"5422_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0166-218X(87)90056-4","volume":"16","author":"Y Crama","year":"1987","unstructured":"Crama Y (1987) Dualization of regular Boolean functions. Discrete Appl Math 16:79\u201385","journal-title":"Discrete Appl Math"},{"key":"5422_CR7","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0165-4896(85)90032-0","volume":"10","author":"E Einy","year":"1985","unstructured":"Einy E (1985) The desirability relation of simple games. Math Soc Sci 10:155\u2013168","journal-title":"Math Soc Sci"},{"key":"5422_CR8","doi-asserted-by":"publisher","DOI":"10.4337\/9781840647761","volume-title":"The measurement of voting power","author":"DS Felsenthal","year":"1998","unstructured":"Felsenthal DS, Machover M (1998) The measurement of voting power. Edward Elgar Publishing Limited, Cheltenham"},{"key":"5422_CR9","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1016\/S0377-2217(02)00903-7","volume":"156","author":"J Freixas","year":"2004","unstructured":"Freixas J (2004) The dimension for the European Union Council under the Nice rules. Eur J Oper Res 156:415\u2013419","journal-title":"Eur J Oper Res"},{"key":"5422_CR10","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/j.ejor.2012.10.017","volume":"226","author":"J Freixas","year":"2013","unstructured":"Freixas J, Kurz S (2013) The golden number and Fibonacci sequences in the design of voting systems. Eur J Oper Res 226:246\u2013257","journal-title":"Eur J Oper Res"},{"key":"5422_CR11","doi-asserted-by":"publisher","first-page":"1496","DOI":"10.1016\/j.dam.2008.09.009","volume":"157","author":"J Freixas","year":"2009","unstructured":"Freixas J, Molinero X (2009) Simple games and weighted games: a theoretical and computational viewpoint. Discrete Appl Math 157:1496\u20131508","journal-title":"Discrete Appl Math"},{"key":"5422_CR12","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1023\/A:1016368606348","volume":"109","author":"J Freixas","year":"2002","unstructured":"Freixas J, Puente MA (2002) Reliability importance measures of the components in a system based on semivalues and probabilistic values. Ann Oper Res 109:331\u2013342","journal-title":"Ann Oper Res"},{"key":"5422_CR13","doi-asserted-by":"crossref","unstructured":"Freixas J, Samaniego D (2020) On the enumeration of bipartite simple games. Discrete Appl Math (submitted)","DOI":"10.1016\/j.dam.2021.03.011"},{"key":"5422_CR14","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10479-011-0863-x","volume":"193","author":"J Freixas","year":"2012","unstructured":"Freixas J, Molinero X, Roura S (2012) Complete voting systems with two types of voters: weightedness and counting. Ann Oper Res 193:273\u2013287","journal-title":"Ann Oper Res"},{"issue":"4","key":"5422_CR15","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s11238-017-9606-z","volume":"83","author":"J Freixas","year":"2017","unstructured":"Freixas J, Freixas M, Kurz S (2017) On the characterization of weighted simple games. Theor Decis 83(4):469\u2013498","journal-title":"Theor Decis"},{"key":"5422_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.mathsocsci.2012.11.007","volume":"65","author":"T Gvozdeva","year":"2013","unstructured":"Gvozdeva T, Hameed A, Slinko A (2013) Weightedness and structural characterization of hierarchical simple games. Math Soc Sci 65:181\u2013189","journal-title":"Math Soc Sci"},{"key":"5422_CR17","volume-title":"Ramanujan: twelve lectures on subjects suggested by his life and work","author":"GH Hardy","year":"1999","unstructured":"Hardy GH (1999) Ramanujan: twelve lectures on subjects suggested by his life and work, 3rd edn. Chelsea, New York","edition":"3"},{"key":"5422_CR18","doi-asserted-by":"publisher","DOI":"10.1525\/9780520329560","volume-title":"Threshold logic","author":"ST Hu","year":"1965","unstructured":"Hu ST (1965) Threshold logic. University of California Press, Berkeley"},{"key":"5422_CR19","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1215\/S0012-7094-58-02537-7","volume":"25","author":"JR Isbell","year":"1958","unstructured":"Isbell JR (1958) A class of simple games. Duke Mat J 25:423\u2013439","journal-title":"Duke Mat J"},{"key":"5422_CR20","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1017\/S0008423900028560","volume":"16","author":"M Kilgour","year":"1983","unstructured":"Kilgour M (1983) A formal analysis of the amending formula of Canada\u2019s Constitution Act. Can J Polit Sci 16:771\u2013777","journal-title":"Can J Polit Sci"},{"key":"5422_CR21","doi-asserted-by":"publisher","DOI":"10.1002\/9781118314593","volume-title":"Importance measures is reliability, risk, and optimization: principles and applications","author":"W Kuo","year":"2012","unstructured":"Kuo W, Zhu X (2012) Importance measures is reliability, risk, and optimization: principles and applications. Wiley, West Sussex"},{"issue":"1","key":"5422_CR22","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10479-012-1108-3","volume":"196","author":"S Kurz","year":"2012","unstructured":"Kurz S (2012) On minimum sum representations for weighted voting games. Ann Oper Res 196(1):361\u2013369","journal-title":"Ann Oper Res"},{"issue":"6","key":"5422_CR23","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1007\/s11590-015-0917-0","volume":"10","author":"S Kurz","year":"2016","unstructured":"Kurz S, Napel S (2016) A dimension of the Lisbon voting rules in the EU Council: a challenge and new world record. Optim Lett 10(6):1245\u20131256","journal-title":"Optim Lett"},{"key":"5422_CR24","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s00182-012-0327-9","volume":"42","author":"S Kurz","year":"2013","unstructured":"Kurz S, Tautenhahn N (2013) On Dedekind\u2019s problem for complete simple games. Int J Game Theory 42:411\u2013437","journal-title":"Int J Game Theory"},{"key":"5422_CR25","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.mathsocsci.2011.11.004","volume":"63","author":"M Le Breton","year":"2012","unstructured":"Le Breton M, Montero M, Zaporozhets V (2012) Voting power in the EU council of ministers and fair decision making in distributive politics. Math Soc Sci 63:159\u2013173","journal-title":"Math Soc Sci"},{"key":"5422_CR26","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1023\/A:1016324824094","volume":"109","author":"D Leech","year":"2002","unstructured":"Leech D (2002) Voting power in the governance of the International Monetary Fund. Ann Oper Res 109:375\u2013397","journal-title":"Ann Oper Res"},{"key":"5422_CR27","doi-asserted-by":"publisher","first-page":"3013","DOI":"10.1007\/s00500-019-03769-y","volume":"23","author":"F Marzi","year":"2019","unstructured":"Marzi F, Rossi F, Smriglio S (2019) Computational study of separation algorithms for clique inequalities. Soft Comput 23:3013\u20133027","journal-title":"Soft Comput"},{"key":"5422_CR28","volume-title":"Threshold logic and its applications","author":"S Muroga","year":"1971","unstructured":"Muroga S (1971) Threshold logic and its applications. Wiley, NewYork"},{"key":"5422_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46950-7","volume-title":"Game theory: a multi-leveled approach","author":"H Peters","year":"2015","unstructured":"Peters H (2015) Game theory: a multi-leveled approach, 2nd edn. Springer, Amsterdam","edition":"2"},{"key":"5422_CR30","volume-title":"Neural networks","author":"PD Picton","year":"1991","unstructured":"Picton PD (1991) Neural networks, 2nd edn. Macmillan, Indianapolis","edition":"2"},{"key":"5422_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2099-6","volume-title":"Coherent structures and simple games, theory and decision series C","author":"KG Ramamurthy","year":"1990","unstructured":"Ramamurthy KG (1990) Coherent structures and simple games, theory and decision series C. Springer, Amsterdam"},{"key":"5422_CR32","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0012-365X(85)90080-9","volume":"54","author":"J Reiterman","year":"1985","unstructured":"Reiterman J, R\u00f6dl V, \u0160i\u0148ajov\u00e1 E, Tuma M (1985) Threshold hypergraphs. Discrete Math 54:193\u2013200","journal-title":"Discrete Math"},{"key":"5422_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2696-4","volume-title":"Theoretical advances in neural computation and learning","author":"V Roychowdhury","year":"1994","unstructured":"Roychowdhury V, Siu K, Orlitsky A (1994) Theoretical advances in neural computation and learning. Kluwer, Norwell"},{"key":"5422_CR34","doi-asserted-by":"crossref","unstructured":"Simmons GJ (1990) How to (really) share a secret. In: Proceedings of the 8th annual international cryptology conference on advances in cryptology, pp 390\u2013448. Springer, London, UK","DOI":"10.1007\/0-387-34799-2_30"},{"key":"5422_CR35","volume-title":"Discrete neural computation: a theoretical foundation","author":"K Siu","year":"1995","unstructured":"Siu K, Roychowdhury V, Kailath T (1995) Discrete neural computation: a theoretical foundation. Prentice-Hall, Englewood Cliffs"},{"key":"5422_CR36","unstructured":"Sloane NJA (1964) www.oeis.org. Encyclopedia On-Line of Integer Sequences"},{"key":"5422_CR37","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF00125203","volume":"2","author":"DR Stinson","year":"1992","unstructured":"Stinson DR (1992) An explication of secret sharing schemes. Des Codes Crypt 2:357\u2013390","journal-title":"Des Codes Crypt"},{"key":"5422_CR38","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00145-006-0334-8","volume":"20","author":"T Tassa","year":"2007","unstructured":"Tassa T (2007) Hierarchical threshold secret sharing. J Cryptol 20:237\u2013264","journal-title":"J Cryptol"},{"key":"5422_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-77645-3","volume-title":"Mathematics and politics","author":"AD Taylor","year":"2008","unstructured":"Taylor AD, Pacelli A (2008) Mathematics and politics, 2nd edn. Springer, New York","edition":"2"},{"key":"5422_CR40","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1090\/S0002-9939-1992-1092927-0","volume":"115","author":"AD Taylor","year":"1992","unstructured":"Taylor AD, Zwicker WS (1992) A characterization of weighted voting. Proc Am Math Soc 115:1089\u20131094","journal-title":"Proc Am Math Soc"},{"key":"5422_CR41","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1006\/game.1993.1009","volume":"5","author":"AD Taylor","year":"1993","unstructured":"Taylor AD, Zwicker WS (1993) Weighted voting, multicameral representation, and power. Games Econ Behav 5:170\u2013181","journal-title":"Games Econ Behav"},{"key":"5422_CR42","volume-title":"Simple games: desirability relations, trading, and pseudoweightings","author":"AD Taylor","year":"1999","unstructured":"Taylor AD, Zwicker WS (1999) Simple games: desirability relations, trading, and pseudoweightings. Princeton University Press, Princeton"},{"key":"5422_CR43","volume-title":"Theory of games and economic behavior","author":"J von Neumann","year":"1944","unstructured":"von Neumann J, Morgenstern O (1944) Theory of games and economic behavior. Princeton University Press, Princeton"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-05422-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-020-05422-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-020-05422-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T12:33:34Z","timestamp":1631536414000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-020-05422-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,18]]},"references-count":43,"journal-issue":{"issue":"19","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["5422"],"URL":"https:\/\/doi.org\/10.1007\/s00500-020-05422-5","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,18]]},"assertion":[{"value":"18 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"I declare that I has no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval (in case of humans or animals were involved)"}}]}}