乐胖代购免代理版

{"id":"https://openalex.org/W2807939870","doi":"https://doi.org/10.24963/ijcai.2018/185","title":"DMC: A Distributed Model Counter","display_name":"DMC: A Distributed Model Counter","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2807939870","doi":"https://doi.org/10.24963/ijcai.2018/185","mag":"2807939870"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/185","pdf_url":"https://www.ijcai.org/proceedings/2018/0185.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.ijcai.org/proceedings/2018/0185.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017651167","display_name":"Jean-Marie Lagniez","orcid":"https://orcid.org/0000-0002-6557-4115"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marie Lagniez","raw_affiliation_strings":["CRIL, U. Artois & CNRS","Centre de Recherche en Informatique de Lens"],"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"CRIL, U. Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040136820","display_name":"Pierre Marquis","orcid":"https://orcid.org/0000-0002-7979-6608"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Marquis","raw_affiliation_strings":["CRIL, U. Artois & CNRS","Centre de Recherche en Informatique de Lens"],"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"CRIL, U. Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021781181","display_name":"Nicolas Szczepanski","orcid":"https://orcid.org/0000-0001-7553-5657"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Szczepanski","raw_affiliation_strings":["CRIL, U. Artois & CNRS","Centre de Recherche en Informatique de Lens","Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189"],"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"CRIL, U. Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":12,"citation_normalized_percentile":{"value":0.869625,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":null,"issue":null,"first_page":"1331","last_page":"1338"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Learning and Inference in Bayesian Networks","score":0.9992,"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"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Learning and Inference in Bayesian Networks","score":0.9992,"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/T11596","display_name":"Distributed Constraint Optimization Problems and Algorithms","score":0.9974,"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/T11106","display_name":"Trajectory Data Mining and Analysis","score":0.9878,"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/distributed-algorithms","display_name":"Distributed Algorithms","score":0.539272}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7943802},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.7060751},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.66629684},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6271046},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5312804},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4883456},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41226348},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27433962},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.117982954},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/185","pdf_url":"https://www.ijcai.org/proceedings/2018/0185.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hal-univ-artois.archives-ouvertes.fr/hal-03300776","pdf_url":"https://univ-artois.hal.science/hal-03300776/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":true,"landing_page_url":"https://univ-artois.hal.science/hal-03300776/file/lagniez-marquis-szczepanski-ijcai18.pdf","pdf_url":"https://univ-artois.hal.science/hal-03300776/file/lagniez-marquis-szczepanski-ijcai18.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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal-univ-artois.archives-ouvertes.fr/hal-03300776/file/lagniez-marquis-szczepanski-ijcai18.pdf","pdf_url":"https://hal-univ-artois.archives-ouvertes.fr/hal-03300776/file/lagniez-marquis-szczepanski-ijcai18.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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal-univ-artois.archives-ouvertes.fr/hal-03300776/document","pdf_url":"https://hal-univ-artois.archives-ouvertes.fr/hal-03300776/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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/185","pdf_url":"https://www.ijcai.org/proceedings/2018/0185.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.53,"id":"https://metadata.un.org/sdg/8"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":22,"referenced_works":["https://openalex.org/W1537730723","https://openalex.org/W154884867","https://openalex.org/W1603924993","https://openalex.org/W1650993530","https://openalex.org/W1681144494","https://openalex.org/W179198942","https://openalex.org/W1878475345","https://openalex.org/W189719929","https://openalex.org/W1986660301","https://openalex.org/W2016559894","https://openalex.org/W2062818807","https://openalex.org/W2121869744","https://openalex.org/W2186752618","https://openalex.org/W2232506718","https://openalex.org/W2328309997","https://openalex.org/W2402839980","https://openalex.org/W2408657608","https://openalex.org/W2560025973","https://openalex.org/W2572061353","https://openalex.org/W2741061345","https://openalex.org/W2984546510","https://openalex.org/W5450866"],"related_works":["https://openalex.org/W986318368","https://openalex.org/W2990194547","https://openalex.org/W2620865396","https://openalex.org/W2414054180","https://openalex.org/W2384410913","https://openalex.org/W2352878646","https://openalex.org/W2130149817","https://openalex.org/W2004734601","https://openalex.org/W2000785801","https://openalex.org/W1480123525"],"abstract_inverted_index":{"We":[0],"present":[1],"and":[2,71,123],"evaluate":[3],"DMC,":[4],"a":[5,26,42,63,92,114],"distributed":[6,126],"model":[7,18,32,53,60,120,127],"counter":[8,19,96,121,128],"for":[9,107],"propositional":[10],"CNF":[11],"formulae":[12],"based":[13],"on":[14,35],"the":[15,52,59,72,75,81,99,102,118,125],"state-of-the-art":[16],"sequential":[17,31],"D4.":[20],"DMC":[21,90,110],"can":[22],"take":[23],"advantage":[24],"of":[25,30,44,74,101],"(possibly":[27,36],"large)":[28],"number":[29,70],"counters":[33,61],"running":[34],"heterogeneous)":[37],"computing":[38],"units":[39],"spread":[40],"over":[41],"network":[43],"computers.":[45],"For":[46],"ensuring":[47],"an":[48],"efficient":[49,95],"workload":[50],"distribution,":[51],"counting":[54],"task":[55],"is":[56],"shared":[57],"between":[58],"following":[62],"policy":[64],"close":[65],"to":[66,117,124],"work":[67],"stealing.":[68],"The":[69,86],"sizes":[73],"messages":[76],"which":[77],"are":[78,83],"exchanged":[79],"by":[80],"jobs":[82],"kept":[84],"small.":[85],"results":[87],"obtained":[88],"show":[89],"as":[91,113],"much":[93],"more":[94],"than":[97],"D4,":[98],"distribution":[100],"computation":[103],"yielding":[104],"large":[105],"improvements":[106],"some":[108],"benchmarks.":[109],"appears":[111],"also":[112],"serious":[115],"challenger":[116],"parallel":[119],"CountAntom":[122],"dCountAntom.":[129]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2807939870","counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3}],"updated_date":"2024-11-26T15:48:25.483222","created_date":"2018-06-21"}