乐胖代购免代理版

{"id":"https://openalex.org/W2750984631","doi":"https://doi.org/10.4230/lipics.sea.2017.6","title":"Distributed Domain Propagation","display_name":"Distributed Domain Propagation","publication_year":2017,"publication_date":"2017-06-23","ids":{"openalex":"https://openalex.org/W2750984631","doi":"https://doi.org/10.4230/lipics.sea.2017.6","mag":"2750984631"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.SEA.2017.6","pdf_url":null,"source":{"id":"https://openalex.org/S4306420977","display_name":"Symposium on Experimental and Efficient Algorithms","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"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/A5006990364","display_name":"Robert Lion Gottwald","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Lion Gottwald","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041795178","display_name":"Stephen J. Maher","orcid":"https://orcid.org/0000-0003-3773-6882"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stephen J. Maher","raw_affiliation_strings":["Zuse Institute Berlin, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I195893171"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089479276","display_name":"Yuji Shinano","orcid":"https://orcid.org/0000-0002-2902-882X"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yuji Shinano","raw_affiliation_strings":["Zuse Institute Berlin, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I195893171"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.929,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.569689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":81},"biblio":{"volume":"75","issue":null,"first_page":"11","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Combinatorial Optimization and Complexity Theory","score":0.9951,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Combinatorial Optimization and Complexity Theory","score":0.9951,"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/T11596","display_name":"Distributed Constraint Optimization Problems and Algorithms","score":0.9946,"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/T11413","display_name":"Robust Optimization for Risk Management and Finance","score":0.9869,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.81031775},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.666117},{"id":"https://openalex.org/keywords/portfolio-optimization","display_name":"Portfolio Optimization","score":0.612025},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.60293406},{"id":"https://openalex.org/keywords/distributed-algorithms","display_name":"Distributed Algorithms","score":0.510463},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4415178}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.81031775},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7968304},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.666117},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.657538},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.61632574},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.60293406},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.59625065},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4415178},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.42987153},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.42612943},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41300845},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30632925},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19547406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07016897},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.SEA.2017.6","pdf_url":null,"source":{"id":"https://openalex.org/S4306420977","display_name":"Symposium on Experimental and Efficient Algorithms","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.45,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1531894741","https://openalex.org/W1582337824","https://openalex.org/W1600301286","https://openalex.org/W180443138","https://openalex.org/W1978745934","https://openalex.org/W2008454042","https://openalex.org/W2014328192","https://openalex.org/W2087338755","https://openalex.org/W2103406309","https://openalex.org/W2149400771","https://openalex.org/W2215451438","https://openalex.org/W2378709058","https://openalex.org/W2476080091","https://openalex.org/W2917843279"],"related_works":["https://openalex.org/W970389394","https://openalex.org/W93667602","https://openalex.org/W3196233277","https://openalex.org/W2994077026","https://openalex.org/W2949770228","https://openalex.org/W2795576484","https://openalex.org/W2787628741","https://openalex.org/W2744859461","https://openalex.org/W2601104151","https://openalex.org/W2587833204","https://openalex.org/W2560025973","https://openalex.org/W2472934748","https://openalex.org/W2399446083","https://openalex.org/W2398436144","https://openalex.org/W2378709058","https://openalex.org/W2280245989","https://openalex.org/W2185085875","https://openalex.org/W2087686900","https://openalex.org/W191575697","https://openalex.org/W1536596338"],"abstract_inverted_index":{"Portfolio":[0],"parallelization":[1,27,119],"is":[2,137,152],"an":[3],"approach":[4],"that":[5,62,87,106],"runs":[6],"several":[7],"solver":[8],"instances":[9],"in":[10,19,56,102,143,148,172],"parallel":[11,176],"and":[12,39,59,127,147,168],"terminates":[13],"when":[14],"one":[15,133],"of":[16,71,117,163],"them":[17],"succeeds":[18],"solving":[20,145],"the":[21,69,135,144,149],"problem.":[22],"Despite":[23],"its":[24,100],"simplicity,":[25],"portfolio":[26,108],"has":[28,47,74],"been":[29,49,75],"shown":[30,50],"to":[31,51,93],"perform":[32],"well":[33],"for":[34,114,175],"modern":[35,57,103],"mixed-integer":[36],"programming":[37],"(MIP)":[38],"boolean":[40],"satisfiability":[41],"problem":[42],"(SAT)":[43],"solvers.":[44,177],"Domain":[45],"propagation":[46],"also":[48],"be":[52],"a":[53,72,85,159],"simple":[54],"technique":[55,86],"MIP":[58,104],"SAT":[60],"solvers":[61,92,105],"effectively":[63],"finds":[64],"additional":[65],"domain":[66,70,83,96],"reductions":[67],"after":[68],"variable":[73,125,166],"reduced.":[76],"In":[77,132],"this":[78,118],"paper":[79],"we":[80],"introduce":[81],"distributed":[82],"propagation,":[84],"shares":[88],"bound":[89],"tightenings":[90],"across":[91],"trigger":[94],"further":[95],"propagations.":[97],"We":[98],"investigate":[99],"impact":[101,162],"employ":[107],"parallelization.":[109],"Computational":[110,156],"experiments":[111,157],"were":[112],"conducted":[113],"two":[115],"implementations":[116],"approach.":[120],"While":[121],"both":[122],"share":[123],"global":[124,165],"bounds":[126,167],"solutions,":[128],"they":[129],"communicate":[130],"differently.":[131],"implementation":[134],"communication":[136,173],"performed":[138,153],"only":[139],"at":[140],"designated":[141],"points":[142],"process":[146],"other":[150],"it":[151],"completely":[154],"asynchronously.":[155],"show":[158],"positive":[160],"performance":[161],"communicating":[164],"provide":[169],"valuable":[170],"insights":[171],"strategies":[174]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2750984631","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2024-11-27T23:09:51.880858","created_date":"2017-09-15"}