{"id":"https://openalex.org/W2388439235","doi":"https://doi.org/10.1145/2903220.2903228","title":"Using Parallelization to Efficiently Exploit the Pruning Power of Strong Local Consistencies","display_name":"Using Parallelization to Efficiently Exploit the Pruning Power of Strong Local Consistencies","publication_year":2016,"publication_date":"2016-05-11","ids":{"openalex":"https://openalex.org/W2388439235","doi":"https://doi.org/10.1145/2903220.2903228","mag":"2388439235"},"language":"en","primary_location":{"id":"doi:10.1145/2903220.2903228","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2903220.2903228","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th Hellenic Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006781417","display_name":"Minas Dasygenis","orcid":"https://orcid.org/0000-0002-2180-9752"},"institutions":[{"id":"https://openalex.org/I89506807","display_name":"University of Western Macedonia","ror":"https://ror.org/00a5pe906","country_code":"GR","type":"education","lineage":["https://openalex.org/I89506807"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Minas Dasygenis","raw_affiliation_strings":["Department of Informatics and Telecommunications Engineering, University of Western Macedonia, Kozani, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics and Telecommunications Engineering, University of Western Macedonia, Kozani, Greece","institution_ids":["https://openalex.org/I89506807"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019222560","display_name":"Kostas Stergiou","orcid":"https://orcid.org/0000-0002-5702-9096"},"institutions":[{"id":"https://openalex.org/I89506807","display_name":"University of Western Macedonia","ror":"https://ror.org/00a5pe906","country_code":"GR","type":"education","lineage":["https://openalex.org/I89506807"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Kostas Stergiou","raw_affiliation_strings":["Department of Informatics and Telecommunications Engineering, University of Western Macedonia, Kozani, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics and Telecommunications Engineering, University of Western Macedonia, Kozani, Greece","institution_ids":["https://openalex.org/I89506807"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I89506807"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9995999932289124,"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.9995999932289124,"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/T11269","display_name":"Algorithms and Data Compression","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/pruning","display_name":"Pruning","score":0.8261770009994507},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7899168729782104},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.665285050868988},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6218096017837524},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5321480631828308},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5314164757728577},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5219528079032898},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5067523121833801},{"id":"https://openalex.org/keywords/search-tree","display_name":"Search tree","score":0.47031986713409424},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.4432624280452728},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4418872594833374},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4358213245868683},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.43250060081481934},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4075063169002533},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39748701453208923},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.33380621671676636},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16172164678573608},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12864544987678528}],"concepts":[{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.8261770009994507},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7899168729782104},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.665285050868988},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6218096017837524},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5321480631828308},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5314164757728577},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5219528079032898},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5067523121833801},{"id":"https://openalex.org/C207024777","wikidata":"https://www.wikidata.org/wiki/Q621673","display_name":"Search tree","level":3,"score":0.47031986713409424},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.4432624280452728},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4418872594833374},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4358213245868683},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.43250060081481934},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4075063169002533},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39748701453208923},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.33380621671676636},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16172164678573608},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12864544987678528},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2903220.2903228","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2903220.2903228","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th Hellenic Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W914322","https://openalex.org/W21150094","https://openalex.org/W37608273","https://openalex.org/W50667687","https://openalex.org/W110346337","https://openalex.org/W153192071","https://openalex.org/W156635163","https://openalex.org/W158822462","https://openalex.org/W1486846482","https://openalex.org/W1490681211","https://openalex.org/W1504989041","https://openalex.org/W1601504107","https://openalex.org/W1654793027","https://openalex.org/W1765933479","https://openalex.org/W1949640842","https://openalex.org/W2041737564","https://openalex.org/W2058491973","https://openalex.org/W2066252813","https://openalex.org/W2067633747","https://openalex.org/W2070201365","https://openalex.org/W2077885103","https://openalex.org/W2103406309","https://openalex.org/W2106304333","https://openalex.org/W2107243813","https://openalex.org/W2111554761","https://openalex.org/W2113654469","https://openalex.org/W2119248411","https://openalex.org/W2136680084","https://openalex.org/W2138382848","https://openalex.org/W2149284637","https://openalex.org/W2730963839","https://openalex.org/W6675504125","https://openalex.org/W6677141947"],"related_works":["https://openalex.org/W2157743338","https://openalex.org/W1591786641","https://openalex.org/W1521720388","https://openalex.org/W1017753691","https://openalex.org/W2390746690","https://openalex.org/W1777480463","https://openalex.org/W2794473043","https://openalex.org/W2077549107","https://openalex.org/W90886653","https://openalex.org/W1586280759"],"abstract_inverted_index":{"Local":[0],"consistencies":[1,42,91],"stronger":[2],"than":[3],"arc":[4],"consistency":[5,156],"have":[6,29],"received":[7],"a":[8,82,130,135,141,146,174],"lot":[9],"of":[10,16,20,75,88,129,134,148,166,173,183],"attention":[11],"since":[12],"the":[13,21,61,86,100,112,127,162,167,171,181,184],"early":[14],"days":[15],"CSP":[17,35,143],"research":[18],"because":[19,39],"strong":[22,89,154],"pruning":[23],"they":[24,28,102,107,119],"can":[25,43,93,152],"achieve.":[26],"However,":[27],"not":[30],"been":[31],"widely":[32],"adopted":[33],"by":[34,97],"solvers.":[36],"This":[37,122],"is":[38,124,140,170],"applying":[40],"such":[41],"sometimes":[44],"result":[45],"in":[46,54,58,78,104,116,126],"considerably":[47],"smaller":[48],"search":[49,62,131,137],"tree":[50],"sizes":[51],"and":[52,110,145,164],"therefore":[53],"important":[55],"speed-ups,":[56],"but":[57],"other":[59],"cases":[60,105,117],"space":[63],"reduction":[64],"may":[65],"be":[66],"small,":[67],"causing":[68],"severe":[69],"run":[70,113],"time":[71,114],"penalties.":[72],"Taking":[73],"advantage":[74],"recent":[76],"advances":[77],"parallelization,":[79],"we":[80],"propose":[81],"novel":[83],"approach":[84,123],"for":[85,161],"application":[87],"local":[90,155],"that":[92],"improve":[94],"their":[95],"performance":[96],"largely":[98],"preserving":[99],"speed-ups":[101],"offer":[103],"where":[106,118],"are":[108,120],"successful,":[109],"eliminating":[111],"penalties":[115],"unsuccessful.":[121],"presented":[125],"form":[128],"algorithm":[132,169],"consisting":[133],"master":[136],"process,":[138],"which":[139,151],"typical":[142],"solver,":[144],"number":[147],"slave":[149],"processes,":[150],"implement":[153],"algorithms.":[157],"The":[158],"only":[159],"requirement":[160],"implementation":[163],"usage":[165],"proposed":[168,185],"availability":[172],"multi-core":[175],"machine.":[176],"Preliminary":[177],"experimental":[178],"results":[179],"demonstrate":[180],"benefits":[182],"method.":[186]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}