{"id":"https://openalex.org/W4379260307","doi":"https://doi.org/10.1007/s10601-023-09346-3","title":"Computing relaxations for the three-dimensional stable matching problem with cyclic preferences","display_name":"Computing relaxations for the three-dimensional stable matching problem with cyclic preferences","publication_year":2023,"publication_date":"2023-06-01","ids":{"openalex":"https://openalex.org/W4379260307","doi":"https://doi.org/10.1007/s10601-023-09346-3","pmid":"https://pubmed.ncbi.nlm.nih.gov/37545838"},"language":"en","primary_location":{"id":"doi:10.1007/s10601-023-09346-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10601-023-09346-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10601-023-09346-3.pdf","source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10601-023-09346-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074400175","display_name":"\u00c1gnes Cseh","orcid":"https://orcid.org/0000-0003-4991-2599"},"institutions":[{"id":"https://openalex.org/I4210147073","display_name":"Institute of Economics","ror":"https://ror.org/05ng8e884","country_code":"HU","type":"facility","lineage":["https://openalex.org/I106118109","https://openalex.org/I4210147073","https://openalex.org/I4210155320"]},{"id":"https://openalex.org/I4210155320","display_name":"ELTE Centre for Economic and Regional Studies","ror":"https://ror.org/051ea1411","country_code":"HU","type":"facility","lineage":["https://openalex.org/I106118109","https://openalex.org/I4210155320"]},{"id":"https://openalex.org/I54009628","display_name":"University of Bayreuth","ror":"https://ror.org/0234wmv40","country_code":"DE","type":"education","lineage":["https://openalex.org/I54009628"]}],"countries":["DE","HU"],"is_corresponding":true,"raw_author_name":"\u00c1gnes Cseh","raw_affiliation_strings":["Department of Mathematics, University of Bayreuth, Bayreuth, Germany","Institute of Economics, Centre for Economic and Regional Studies, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Bayreuth, Bayreuth, Germany","institution_ids":["https://openalex.org/I54009628"]},{"raw_affiliation_string":"Institute of Economics, Centre for Economic and Regional Studies, Budapest, Hungary","institution_ids":["https://openalex.org/I4210155320","https://openalex.org/I4210147073"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045473531","display_name":"Guillaume Escamocher","orcid":"https://orcid.org/0000-0001-9029-5671"},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Guillaume Escamocher","raw_affiliation_strings":["Insight Centre for Data Analytics, Cork, Ireland","School of Computer Science and Information Technology, University College Cork, Cork, Ireland"],"raw_orcid":"https://orcid.org/0000-0001-9029-5671","affiliations":[{"raw_affiliation_string":"Insight Centre for Data Analytics, Cork, Ireland","institution_ids":[]},{"raw_affiliation_string":"School of Computer Science and Information Technology, University College Cork, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102710400","display_name":"Luis Quesada","orcid":"https://orcid.org/0000-0003-3177-655X"},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Luis Quesada","raw_affiliation_strings":["Insight Centre for Data Analytics, Cork, Ireland","School of Computer Science and Information Technology, University College Cork, Cork, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Insight Centre for Data Analytics, Cork, Ireland","institution_ids":[]},{"raw_affiliation_string":"School of Computer Science and Information Technology, University College Cork, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5074400175"],"corresponding_institution_ids":["https://openalex.org/I4210147073","https://openalex.org/I4210155320","https://openalex.org/I54009628"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.1968,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.47765387,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"28","issue":"2","first_page":"138","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.9958000183105469,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9886000156402588,"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/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.7703773975372314},{"id":"https://openalex.org/keywords/relaxation","display_name":"Relaxation (psychology)","score":0.748368501663208},{"id":"https://openalex.org/keywords/impossibility","display_name":"Impossibility","score":0.7262116074562073},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5955814123153687},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5693684220314026},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5556525588035583},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5418276786804199},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5360721945762634},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5340100526809692},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.5000405311584473},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.49042031168937683},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.448635995388031},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.4449703097343445},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34240812063217163},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30576860904693604},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2772895097732544},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.10279539227485657},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09812125563621521}],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.7703773975372314},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.748368501663208},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.7262116074562073},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5955814123153687},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5693684220314026},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5556525588035583},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5418276786804199},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5360721945762634},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5340100526809692},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.5000405311584473},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.49042031168937683},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.448635995388031},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.4449703097343445},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34240812063217163},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30576860904693604},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2772895097732544},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.10279539227485657},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09812125563621521},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10601-023-09346-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10601-023-09346-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10601-023-09346-3.pdf","source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"},{"id":"pmid:37545838","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/37545838","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints : an international journal","raw_type":null},{"id":"pmh:oai:real.mtak.hu:145946","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book Section"},{"id":"pmh:oai:pubmedcentral.nih.gov:10400706","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/10400706","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC10400706/pdf/10601_2023_Article_9346.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Constraints","raw_type":"Text"},{"id":"pmh:oai:eref.uni-bayreuth.de:73400","is_oa":false,"landing_page_url":"https://eref.uni-bayreuth.de/73400/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196442","display_name":"ERef Bayreuth (University of Bayreuth)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I54009628","host_organization_name":"University of Bayreuth","host_organization_lineage":["https://openalex.org/I54009628"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Aufsatz in einem Buch"}],"best_oa_location":{"id":"doi:10.1007/s10601-023-09346-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10601-023-09346-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10601-023-09346-3.pdf","source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1425463384","display_name":null,"funder_award_id":"16/SP/3804","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"},{"id":"https://openalex.org/G2845247602","display_name":null,"funder_award_id":"K128611","funder_id":"https://openalex.org/F4320321994","funder_display_name":"Hungarian Scientific Research Fund"},{"id":"https://openalex.org/G3125555626","display_name":null,"funder_award_id":"12/RC/2289-P2","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4375996181","display_name":null,"funder_award_id":"12/RC/2289-P2","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"},{"id":"https://openalex.org/G5098725405","display_name":null,"funder_award_id":"12/RC/","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"},{"id":"https://openalex.org/G6669842711","display_name":null,"funder_award_id":"16/SP/3804","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G7362007176","display_name":null,"funder_award_id":"12/RC/2289","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"}],"funders":[{"id":"https://openalex.org/F4320318630","display_name":"Irish Research eLibrary","ror":null},{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"},{"id":"https://openalex.org/F4320321994","display_name":"Hungarian Scientific Research Fund","ror":"https://ror.org/00v349e63"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4379260307.pdf"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W1485306535","https://openalex.org/W1501062330","https://openalex.org/W1507630703","https://openalex.org/W1576541809","https://openalex.org/W1882842148","https://openalex.org/W1992351112","https://openalex.org/W1995859802","https://openalex.org/W2009689719","https://openalex.org/W2014455522","https://openalex.org/W2017943265","https://openalex.org/W2020728155","https://openalex.org/W2040118257","https://openalex.org/W2043144984","https://openalex.org/W2046229127","https://openalex.org/W2047281868","https://openalex.org/W2051306036","https://openalex.org/W2071068919","https://openalex.org/W2077485783","https://openalex.org/W2081049259","https://openalex.org/W2085800419","https://openalex.org/W2091887239","https://openalex.org/W2093153678","https://openalex.org/W2104372291","https://openalex.org/W2114200231","https://openalex.org/W2117557063","https://openalex.org/W2131227819","https://openalex.org/W2159875930","https://openalex.org/W2163984834","https://openalex.org/W2164950451","https://openalex.org/W2175003909","https://openalex.org/W2175150243","https://openalex.org/W2287399610","https://openalex.org/W2344552411","https://openalex.org/W2736777795","https://openalex.org/W2749806767","https://openalex.org/W2758665439","https://openalex.org/W2946234461","https://openalex.org/W2952126919","https://openalex.org/W2958872030","https://openalex.org/W3003609375","https://openalex.org/W3010061830","https://openalex.org/W3013373065","https://openalex.org/W3024108174","https://openalex.org/W3197398676","https://openalex.org/W3214230071","https://openalex.org/W4213094076","https://openalex.org/W4239749964","https://openalex.org/W4254572365","https://openalex.org/W4282042326","https://openalex.org/W4295724580","https://openalex.org/W6634500212","https://openalex.org/W6646629025","https://openalex.org/W6795468374"],"related_works":["https://openalex.org/W1486916474","https://openalex.org/W2097415053","https://openalex.org/W1531664660","https://openalex.org/W4303044088","https://openalex.org/W2500041535","https://openalex.org/W1563755460","https://openalex.org/W1971069708","https://openalex.org/W2032348095","https://openalex.org/W2520084020","https://openalex.org/W1820477541"],"abstract_inverted_index":{"Constraint":[0],"programming":[1],"has":[2],"proven":[3],"to":[4,72,79,101,108,120,154],"be":[5],"a":[6,12,26,60],"successful":[7],"framework":[8],"for":[9,42,55,77,128],"determining":[10],"whether":[11],"given":[13],"instance":[14,31,97],"of":[15,63,84,91,95,112,130,134],"the":[16,48,51,80,85,89,92,110,117,122,131,155],"three-dimensional":[17],"stable":[18],"matching":[19],"problem":[20],"with":[21,124],"cyclic":[22],"preferences":[23],"(3dsm-cyc)":[24],"admits":[25],"solution.":[27],"If":[28],"such":[29],"an":[30,96],"is":[32,59],"satisfiable,":[33],"constraint":[34,74],"models":[35,75,107,142],"can":[36],"even":[37],"compute":[38],"its":[39],"optimal":[40],"solution":[41],"several":[43],"different":[44],"objective":[45],"functions.":[46],"On":[47],"other":[49],"hand,":[50],"only":[52],"existing":[53],"output":[54],"unsatisfiable":[56],"3dsm-cyc":[57,78],"instances":[58],"simple":[61],"declaration":[62],"impossibility.":[64],"In":[65],"this":[66],"paper,":[67],"we":[68],"explore":[69],"four":[70,132],"ways":[71],"adapt":[73],"designed":[76],"maximum":[81],"relaxation":[82,123,141],"version":[83],"problem,":[86],"that":[87,139],"is,":[88],"computation":[90],"smallest":[93],"part":[94],"whose":[98],"modification":[99],"leads":[100],"satisfiability.":[102],"We":[103],"also":[104],"extend":[105],"our":[106,140],"support":[109],"presence":[111],"costs":[113],"on":[114],"elements":[115],"in":[116,146],"instance,":[118],"and":[119],"return":[121],"lowest":[125],"total":[126],"cost":[127],"each":[129],"types":[133],"relaxation.":[135],"Empirical":[136],"results":[137],"reveal":[138],"are":[143],"efficient,":[144],"as":[145],"most":[147],"cases,":[148],"they":[149],"show":[150],"little":[151],"overhead":[152],"compared":[153],"satisfaction":[156],"version.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-02-03T23:48:18.283914","created_date":"2025-10-10T00:00:00"}