{"id":"https://openalex.org/W1964919668","doi":"https://doi.org/10.1017/s1471068413000392","title":"Using sequential runtime distributions for the parallel speedup prediction of SAT local search","display_name":"Using sequential runtime distributions for the parallel speedup prediction of SAT local search","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W1964919668","doi":"https://doi.org/10.1017/s1471068413000392","mag":"1964919668"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068413000392","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068413000392","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2403.08790","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040652311","display_name":"Alejandro Arbel\u00e1ez","orcid":"https://orcid.org/0000-0003-1622-5645"},"institutions":[{"id":"https://openalex.org/I127317711","display_name":"Tokyo University of Agriculture","ror":"https://ror.org/05crbcr45","country_code":"JP","type":"education","lineage":["https://openalex.org/I127317711"]},{"id":"https://openalex.org/I176979517","display_name":"International Research Center for Japanese Studies","ror":"https://ror.org/04861vz74","country_code":"JP","type":"education","lineage":["https://openalex.org/I1319490839","https://openalex.org/I176979517","https://openalex.org/I4210148627"]},{"id":"https://openalex.org/I4387152154","display_name":"Japanese-French Laboratory for Informatics","ror":"https://ror.org/007xn7v02","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203951103","https://openalex.org/I39804081","https://openalex.org/I4387152154","https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"ALEJANDRO ARBELAEZ","raw_affiliation_strings":["JFLI / Univesity of Tokyo (e-mail:","JFLI - Japanese French Laboratory for Informatics (Japan)"],"affiliations":[{"raw_affiliation_string":"JFLI / Univesity of Tokyo (e-mail:","institution_ids":["https://openalex.org/I127317711"]},{"raw_affiliation_string":"JFLI - Japanese French Laboratory for Informatics (Japan)","institution_ids":["https://openalex.org/I176979517","https://openalex.org/I4387152154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031011517","display_name":"Charlotte Truchet","orcid":"https://orcid.org/0000-0001-9234-6188"},"institutions":[{"id":"https://openalex.org/I4210165258","display_name":"Laboratoire d'informatique de Nantes Atlantique","ror":"https://ror.org/05487pd16","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I4210165258","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"CHARLOTTE TRUCHET","raw_affiliation_strings":["LINA, UMR 6241/ University of Nantes (e-mail:","TASC - Theory, Algorithms and Systems for Constraints (\u00c9cole des Mines de Nantes\r\nD\u00e9partement Informatique\r\n4 rue Alfred Kastler, BP 20722\r\n44307 Nantes Cedex 03, France - France)","LINA - Laboratoire d'Informatique de Nantes Atlantique (LINA - Facult\u00e9 des Sciences 2 rue de la Houssini\u00e8re - BP 92208 44322 NANTES CEDEX 3 - France)"],"affiliations":[{"raw_affiliation_string":"LINA, UMR 6241/ University of Nantes (e-mail:","institution_ids":["https://openalex.org/I97188460","https://openalex.org/I4210165258"]},{"raw_affiliation_string":"TASC - Theory, Algorithms and Systems for Constraints (\u00c9cole des Mines de Nantes\r\nD\u00e9partement Informatique\r\n4 rue Alfred Kastler, BP 20722\r\n44307 Nantes Cedex 03, France - France)","institution_ids":[]},{"raw_affiliation_string":"LINA - Laboratoire d'Informatique de Nantes Atlantique (LINA - Facult\u00e9 des Sciences 2 rue de la Houssini\u00e8re - BP 92208 44322 NANTES CEDEX 3 - France)","institution_ids":["https://openalex.org/I97188460","https://openalex.org/I4210165258"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109832378","display_name":"Philippe Codognet","orcid":null},"institutions":[{"id":"https://openalex.org/I176979517","display_name":"International Research Center for Japanese Studies","ror":"https://ror.org/04861vz74","country_code":"JP","type":"education","lineage":["https://openalex.org/I1319490839","https://openalex.org/I176979517","https://openalex.org/I4210148627"]},{"id":"https://openalex.org/I4210098814","display_name":"UPMC Health System","ror":"https://ror.org/011htkb76","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210098814"]},{"id":"https://openalex.org/I4387152154","display_name":"Japanese-French Laboratory for Informatics","ror":"https://ror.org/007xn7v02","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203951103","https://openalex.org/I39804081","https://openalex.org/I4387152154","https://openalex.org/I74801974"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"PHILIPPE CODOGNET","raw_affiliation_strings":["JFLI-CNRS / UPMC / University of Tokyo (e-mail:","JFLI - Japanese French Laboratory for Informatics (Japan)"],"affiliations":[{"raw_affiliation_string":"JFLI-CNRS / UPMC / University of Tokyo (e-mail:","institution_ids":["https://openalex.org/I4210098814"]},{"raw_affiliation_string":"JFLI - Japanese French Laboratory for Informatics (Japan)","institution_ids":["https://openalex.org/I176979517","https://openalex.org/I4387152154"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040652311"],"corresponding_institution_ids":["https://openalex.org/I127317711","https://openalex.org/I176979517","https://openalex.org/I4387152154"],"apc_list":null,"apc_paid":null,"fwci":1.131,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79610746,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"13","issue":"4-5","first_page":"625","last_page":"639"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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.9998000264167786,"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":"Data Management and Algorithms","score":0.9961000084877014,"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"}},{"id":"https://openalex.org/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9891999959945679,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7831361293792725},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.7524398565292358},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6891477108001709},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5795498490333557},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.45390310883522034},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42678558826446533},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.42091408371925354}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7831361293792725},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.7524398565292358},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6891477108001709},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5795498490333557},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.45390310883522034},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42678558826446533},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.42091408371925354},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068413000392","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068413000392","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2403.08790","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.08790","pdf_url":"https://arxiv.org/pdf/2403.08790","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-00872982v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00872982","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, 2013, 13 (4-5), pp.625--639. ⟨10.1017/S1471068413000392⟩","raw_type":"Journal articles"},{"id":"pmh:oai:zenodo.org:10639777","is_oa":true,"landing_page_url":"https://doi.org/10.1017/S1471068413000392","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, 13(4-6), 625-639, (2013-09-23)","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2403.08790","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.08790","pdf_url":"https://arxiv.org/pdf/2403.08790","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3459562248","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7752643416","display_name":null,"funder_award_id":"Japan","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1964919668.pdf"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W93667602","https://openalex.org/W107715420","https://openalex.org/W204392951","https://openalex.org/W1491456715","https://openalex.org/W1506255457","https://openalex.org/W1554262786","https://openalex.org/W1562498886","https://openalex.org/W1591939288","https://openalex.org/W1794542069","https://openalex.org/W1964514131","https://openalex.org/W1987703212","https://openalex.org/W2001001966","https://openalex.org/W2017848214","https://openalex.org/W2027282006","https://openalex.org/W2092220612","https://openalex.org/W2098626016","https://openalex.org/W2112515277","https://openalex.org/W2120470208","https://openalex.org/W2126927016","https://openalex.org/W2141363466","https://openalex.org/W2147148915","https://openalex.org/W2154318861","https://openalex.org/W2164824749","https://openalex.org/W2480687886","https://openalex.org/W2504767107","https://openalex.org/W2950680102","https://openalex.org/W3010782316","https://openalex.org/W3104887432","https://openalex.org/W6674197599"],"related_works":["https://openalex.org/W2317245370","https://openalex.org/W3138386522","https://openalex.org/W2499279132","https://openalex.org/W4249323025","https://openalex.org/W198851386","https://openalex.org/W2030310580","https://openalex.org/W947442053","https://openalex.org/W1980160788","https://openalex.org/W2148915962","https://openalex.org/W2283866686"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"presents":[3],"a":[4,22,30,66],"detailed":[5],"analysis":[6],"of":[7,12,29,38,48,58,81,99,131,157],"the":[8,17,26,35,45,49,55,59,78,93,97,113,122,139],"scalability":[9],"and":[10,89,91,117,134,146,161,163],"parallelization":[11],"local":[13,84,140],"search":[14,85,141],"algorithms":[15],"for":[16],"Satisfiability":[18],"problem.":[19],"We":[20,72,110],"propose":[21],"framework":[23],"to":[24,76,96,107,121],"estimate":[25],"parallel":[27,60,79,104],"performance":[28,80,119],"given":[31],"algorithm":[32],"by":[33,43,65,154],"analyzing":[34],"runtime":[36,46,56,149],"behavior":[37,57],"its":[39],"sequential":[40,50],"version.":[41],"Indeed,":[42],"approximating":[44],"distribution":[47],"process":[51,61],"with":[52],"statistical":[53],"methods,":[54],"can":[62,151],"be":[63,152],"predicted":[64,94],"model":[67,114],"based":[68],"on":[69,103],"order":[70],"statistics.":[71],"apply":[73],"this":[74],"approach":[75],"study":[77,128],"two":[82,155],"SAT":[83],"solvers,":[86],"namely":[87],"Sparrow":[88],"CCASAT,":[90],"compare":[92],"performances":[95],"results":[98],"an":[100],"actual":[101],"experimentation":[102],"hardware":[105],"up":[106],"384":[108],"cores.":[109],"show":[111],"that":[112,138,147],"is":[115],"accurate":[116],"predicts":[118],"close":[120],"empirical":[123],"data.":[124],"Moreover,":[125],"as":[126],"we":[127,136],"different":[129,144],"types":[130,156],"instances":[132],"(random":[133],"crafted),":[135],"observe":[137],"solvers":[142],"exhibit":[143],"behaviors":[145],"their":[148],"distributions":[150],"approximated":[153],"distributions:":[158],"exponential":[159],"(shifted":[160],"non-shifted)":[162],"lognormal.":[164]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}