{"id":"https://openalex.org/W7138189228","doi":"https://doi.org/10.1609/aaai.v40i20.38752","title":"Stable Voting and the Splitting of Cycles","display_name":"Stable Voting and the Splitting of Cycles","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138189228","doi":"https://doi.org/10.1609/aaai.v40i20.38752"},"language":null,"primary_location":{"id":"doi:10.1609/aaai.v40i20.38752","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i20.38752","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1609/aaai.v40i20.38752","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088813725","display_name":"Wesley H. Holliday","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Wesley H. Holliday","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005413142","display_name":"Milan Moss\u00e9","orcid":"https://orcid.org/0000-0002-7604-5470"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Milan Moss\u00e9","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002262801","display_name":"Chase Norman","orcid":"https://orcid.org/0000-0001-8954-3770"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chase Norman","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119610678","display_name":"Eric Pacuit","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Pacuit","raw_affiliation_strings":["University of Maryland"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5129705617","display_name":"Cynthia Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cynthia Wang","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088813725"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4516129,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"20","first_page":"17040","last_page":"17049"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10108","display_name":"Electoral Systems and Political Participation","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.9190999865531921},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7210000157356262},{"id":"https://openalex.org/keywords/voting","display_name":"Voting","score":0.6521000266075134},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5113000273704529},{"id":"https://openalex.org/keywords/condorcet-method","display_name":"Condorcet method","score":0.482699990272522},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.3693999946117401}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9190999865531921},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7210000157356262},{"id":"https://openalex.org/C520049643","wikidata":"https://www.wikidata.org/wiki/Q189760","display_name":"Voting","level":3,"score":0.6521000266075134},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5439000129699707},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.5314000248908997},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5113000273704529},{"id":"https://openalex.org/C140940377","wikidata":"https://www.wikidata.org/wiki/Q868720","display_name":"Condorcet method","level":4,"score":0.482699990272522},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3515999913215637},{"id":"https://openalex.org/C189352744","wikidata":"https://www.wikidata.org/wiki/Q1971461","display_name":"Social choice theory","level":2,"score":0.3407000005245209},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3361000120639801},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3158999979496002},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3046000003814697},{"id":"https://openalex.org/C153668964","wikidata":"https://www.wikidata.org/wiki/Q27636","display_name":"Majority rule","level":2,"score":0.3043999969959259}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1609/aaai.v40i20.38752","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i20.38752","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i20.38752","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i20.38752","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.7571904063224792,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Algorithms":[0],"for":[1,107,118],"resolving":[2],"majority":[3,40,46,86],"cycles":[4,41],"in":[5,12,48],"preference":[6],"aggregation":[7],"have":[8],"been":[9],"studied":[10],"extensively":[11],"computational":[13],"social":[14],"choice.":[15],"Several":[16],"sophisticated":[17],"cycle-resolving":[18],"methods,":[19],"including":[20],"Tideman's":[21],"Ranked":[22],"Pairs,":[23],"Schulze's":[24],"Beat":[25],"Path,":[26],"and":[27,53,65,104,130,147,154],"Heitzig's":[28],"River,":[29],"are":[30,88],"refinements":[31],"of":[32,59,81,89,115,138,163,169,176,178],"the":[33,44,90,98,116,136,174],"Split":[34,60],"Cycle":[35],"(SC)":[36],"method":[37,166],"that":[38,76],"resolves":[39],"by":[42,180],"discarding":[43],"weakest":[45],"victories":[47,87],"each":[49],"cycle.":[50],"Recently,":[51],"Holliday":[52],"Pacuit":[54],"proposed":[55],"a":[56,66,79],"new":[57],"refinement":[58,80],"Cycle,":[61],"dubbed":[62],"Stable":[63,71],"Voting,":[64],"simplification":[67],"thereof,":[68],"called":[69],"Simple":[70],"Voting":[72],"(SSV).":[73],"They":[74],"conjectured":[75],"SSV":[77],"is":[78,149],"SC":[82,153],"whenever":[83],"no":[84],"two":[85],"same":[91],"size.":[92,181],"In":[93],"this":[94,145],"paper,":[95],"we":[96],"prove":[97],"conjecture":[99,117],"up":[100,119],"to":[101,120,160],"6":[102,110],"alternatives":[103,122],"refute":[105],"it":[106,156],"more":[108],"than":[109],"alternatives.":[111],"While":[112],"our":[113,127],"proof":[114,129,146],"5":[121],"uses":[123],"traditional":[124],"mathematical":[125],"reasoning,":[126],"6-alternative":[128],"7-alternative":[131],"counterexample":[132,148],"were":[133],"obtained":[134],"with":[135],"use":[137],"SAT":[139,142],"solving.":[140],"The":[141],"encoding":[143],"underlying":[144],"applicable":[150],"far":[151],"beyond":[152],"SSV:":[155],"can":[157],"be":[158],"used":[159],"test":[161],"properties":[162],"any":[164],"voting":[165],"whose":[167],"choice":[168],"winners":[170],"depends":[171],"only":[172],"on":[173],"ordering":[175],"margins":[177],"victory":[179]},"counts_by_year":[],"updated_date":"2026-03-20T20:47:17.329874","created_date":"2026-03-18T00:00:00"}