{"id":"https://openalex.org/W2268771889","doi":"https://doi.org/10.1016/j.artint.2016.02.001","title":"Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems","display_name":"Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems","publication_year":2016,"publication_date":"2016-02-04","ids":{"openalex":"https://openalex.org/W2268771889","doi":"https://doi.org/10.1016/j.artint.2016.02.001","mag":"2268771889"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2016.02.001","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1016/j.artint.2016.02.001","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004558530","display_name":"Martin Cooper","orcid":"https://orcid.org/0000-0003-4853-053X"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210119061"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Martin C. Cooper","raw_affiliation_strings":["IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","UT3 - Universit\u00e9 Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)"],"affiliations":[{"raw_affiliation_string":"IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210152422","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"UT3 - Universit\u00e9 Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039772180","display_name":"Aymeric Duchein","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210119061"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Aymeric Duchein","raw_affiliation_strings":["IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064778500","display_name":"Achref El Mouelhi","orcid":"https://orcid.org/0000-0003-4880-8941"},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Achref El Mouelhi","raw_affiliation_strings":["COALA - COntraintes, ALgorithmes et Applications (France)","LSIS - Laboratoire des Sciences de l'Information et des Syst\u00e8mes (Domaine Universitaire de Saint-J\u00e9r\u00f4me\r\nBatiment Polytech\r\nAvenue Escadrille Normandie-Niemen\r\n13397 MARSEILLE CEDEX 20 - France)"],"affiliations":[{"raw_affiliation_string":"LSIS - Laboratoire des Sciences de l'Information et des Syst\u00e8mes (Domaine Universitaire de Saint-J\u00e9r\u00f4me\r\nBatiment Polytech\r\nAvenue Escadrille Normandie-Niemen\r\n13397 MARSEILLE CEDEX 20 - France)","institution_ids":["https://openalex.org/I4210114274"]},{"raw_affiliation_string":"COALA - COntraintes, ALgorithmes et Applications (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045473531","display_name":"Guillaume Escamocher","orcid":"https://orcid.org/0000-0001-9029-5671"},"institutions":[],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Guillaume Escamocher","raw_affiliation_strings":["Insight Centre for Data Analytics (Ireland)"],"affiliations":[{"raw_affiliation_string":"Insight Centre for Data Analytics (Ireland)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012005768","display_name":"Cyril Terrioux","orcid":"https://orcid.org/0000-0002-9779-9108"},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cyril Terrioux","raw_affiliation_strings":["COALA - COntraintes, ALgorithmes et Applications (France)","LSIS - Laboratoire des Sciences de l'Information et des Syst\u00e8mes (Domaine Universitaire de Saint-J\u00e9r\u00f4me\r\nBatiment Polytech\r\nAvenue Escadrille Normandie-Niemen\r\n13397 MARSEILLE CEDEX 20 - France)"],"affiliations":[{"raw_affiliation_string":"LSIS - Laboratoire des Sciences de l'Information et des Syst\u00e8mes (Domaine Universitaire de Saint-J\u00e9r\u00f4me\r\nBatiment Polytech\r\nAvenue Escadrille Normandie-Niemen\r\n13397 MARSEILLE CEDEX 20 - France)","institution_ids":["https://openalex.org/I4210114274"]},{"raw_affiliation_string":"COALA - COntraintes, ALgorithmes et Applications (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105405287","display_name":"Bruno Zanuttini","orcid":"https://orcid.org/0000-0003-1639-7236"},"institutions":[{"id":"https://openalex.org/I4210139483","display_name":"GREYC","ror":"https://ror.org/043749971","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I194210350","https://openalex.org/I4210105918","https://openalex.org/I4210139483","https://openalex.org/I4210159245","https://openalex.org/I98702875"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bruno Zanuttini","raw_affiliation_strings":["Equipe MAD - Laboratoire GREYC - UMR6072 (France)"],"affiliations":[{"raw_affiliation_string":"Equipe MAD - Laboratoire GREYC - UMR6072 (France)","institution_ids":["https://openalex.org/I4210139483"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3670,"currency":"USD","value_usd":3670,"provenance":"doaj"},"apc_paid":null,"fwci":2.657,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":15,"citation_normalized_percentile":{"value":0.865383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"234","issue":null,"first_page":"196","last_page":"218"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Distributed Constraint Optimization Problems and Algorithms","score":0.9991,"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":"Distributed Constraint Optimization Problems and Algorithms","score":0.9991,"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9931,"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"}},{"id":"https://openalex.org/T10317","display_name":"Data Stream Management Systems and Techniques","score":0.9868,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.9966152},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6198812},{"id":"https://openalex.org/keywords/constraint-optimization","display_name":"Constraint Optimization","score":0.529285},{"id":"https://openalex.org/keywords/temporal-reasoning","display_name":"Temporal Reasoning","score":0.516273},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal Logic","score":0.502309}],"concepts":[{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.9966152},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.7037463},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6985576},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.66393834},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6198812},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5729363},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5034124},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4889008},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45957232},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45455372},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4292385},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.42816335},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37814623},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.22904566},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14062285},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.053988963},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2016.02.001","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01356091","pdf_url":"https://hal.science/hal-01356091/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-01356091","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://oatao.univ-toulouse.fr/16973/1/cooper_16973.pdf","pdf_url":"http://oatao.univ-toulouse.fr/16973/1/cooper_16973.pdf","source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 de Toulouse","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":["Universit\u00e9 de Toulouse"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-01356091/file/Cooper.AIJ.2016.pdf","pdf_url":"https://hal.science/hal-01356091/file/Cooper.AIJ.2016.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01356091/file/Cooper.AIJ.2016.pdf","pdf_url":"https://hal.archives-ouvertes.fr/hal-01356091/file/Cooper.AIJ.2016.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01356091/document","pdf_url":"https://hal.archives-ouvertes.fr/hal-01356091/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2016.02.001","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.41,"display_name":"Peace, justice, and strong institutions"}],"grants":[{"funder":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche","award_id":"ANR-10-BLAN-0210"},{"funder":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council","award_id":"EP/L021226/1"}],"datasets":[],"versions":[],"referenced_works_count":34,"referenced_works":["https://openalex.org/W137179583","https://openalex.org/W1482062249","https://openalex.org/W1504850494","https://openalex.org/W153399489","https://openalex.org/W153965054","https://openalex.org/W1545942060","https://openalex.org/W1562734116","https://openalex.org/W1615001418","https://openalex.org/W1651757290","https://openalex.org/W1703854763","https://openalex.org/W1839939441","https://openalex.org/W1848884953","https://openalex.org/W1931825747","https://openalex.org/W1950282396","https://openalex.org/W1960236202","https://openalex.org/W1982849375","https://openalex.org/W1995549769","https://openalex.org/W2036690199","https://openalex.org/W2074253504","https://openalex.org/W2082550513","https://openalex.org/W2083203323","https://openalex.org/W2104122126","https://openalex.org/W2111829945","https://openalex.org/W2135836460","https://openalex.org/W2136070841","https://openalex.org/W2143238590","https://openalex.org/W2186279741","https://openalex.org/W2259298747","https://openalex.org/W2499811908","https://openalex.org/W2521581510","https://openalex.org/W3101984934","https://openalex.org/W4300384932","https://openalex.org/W47957325","https://openalex.org/W77191723"],"related_works":["https://openalex.org/W70192758","https://openalex.org/W4298364136","https://openalex.org/W3184046060","https://openalex.org/W3061362066","https://openalex.org/W3021221643","https://openalex.org/W2751025771","https://openalex.org/W2626872748","https://openalex.org/W2252314269","https://openalex.org/W2155910042","https://openalex.org/W1949981435"],"abstract_inverted_index":{"A":[0,93],"binary":[1,42,112],"CSP":[2],"instance":[3,62],"satisfying":[4],"the":[5,21,30,33,86,104,116,123,127,132,151],"broken-triangle":[6],"property":[7],"(BTP)":[8],"can":[9,73],"be":[10,74],"solved":[11],"in":[12,16,38,61,91,141,150],"polynomial":[13],"time.":[14],"Unfortunately,":[15],"practice,":[17],"few":[18],"instances":[19,40,56,77],"satisfy":[20],"BTP.":[22],"We":[23,69,114],"show":[24,70],"that":[25,71],"a":[26,46,58],"local":[27],"version":[28,95],"of":[29,35,41,67,80,96,118,153],"BTP":[31,105,129,145],"allows":[32,100],"merging":[34],"domain":[36],"values":[37],"arbitrary":[39,81],"CSP,":[43],"thus":[44],"providing":[45],"novel":[47],"polynomial-time":[48],"reduction":[49],"operation.":[50],"Extensive":[51],"experimental":[52],"trials":[53],"on":[54],"benchmark":[55],"demonstrate":[57],"significant":[59],"decrease":[60],"size":[63],"for":[64,111,126],"certain":[65],"classes":[66],"problems.":[68],"BTP-merging":[72,98],"generalised":[75],"to":[76,102,143],"with":[78,89],"constraints":[79,155],"arity":[82],"and":[83,147],"we":[84],"investigate":[85,115],"theoretical":[87],"relationship":[88],"resolution":[90],"SAT.":[92],"directional":[94],"general-arity":[97,128],"then":[99],"us":[101],"extend":[103],"tractable":[106],"class":[107,130],"previously":[108],"defined":[109],"only":[110],"CSP.":[113],"complexity":[117],"several":[119],"related":[120],"problems":[121],"including":[122],"recognition":[124],"problem":[125],"when":[131],"variable":[133],"order":[134,140],"is":[135],"unknown,":[136],"finding":[137],"an":[138],"optimal":[139],"which":[142],"apply":[144],"merges":[146],"detecting":[148],"BTP-merges":[149],"presence":[152],"global":[154],"such":[156],"as":[157],"AllDifferent.":[158]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2268771889","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2024-11-23T03:25:59.417376","created_date":"2016-06-24"}