{"id":"https://openalex.org/W2394726283","doi":"https://doi.org/10.29007/73n4","title":"Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures","display_name":"Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2394726283","doi":"https://doi.org/10.29007/73n4","mag":"2394726283"},"language":"en","primary_location":{"id":"doi:10.29007/73n4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/73n4","pdf_url":"https://easychair.org/publications/open/nHs","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/nHs","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012929183","display_name":"Martin Aigner","orcid":"https://orcid.org/0000-0003-4568-9836"},"institutions":[{"id":"https://openalex.org/I182212641","display_name":"University of Salzburg","ror":"https://ror.org/05gs8cd61","country_code":"AT","type":"education","lineage":["https://openalex.org/I182212641"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Aigner","raw_affiliation_strings":["University of Salzburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Salzburg","institution_ids":["https://openalex.org/I182212641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082596567","display_name":"Armin Biere","orcid":"https://orcid.org/0000-0001-7170-9242"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Armin Biere","raw_affiliation_strings":["Johannes Kepler University Linz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044364762","display_name":"Christoph M. Kirsch","orcid":"https://orcid.org/0000-0002-0961-0564"},"institutions":[{"id":"https://openalex.org/I182212641","display_name":"University of Salzburg","ror":"https://ror.org/05gs8cd61","country_code":"AT","type":"education","lineage":["https://openalex.org/I182212641"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christoph Kirsch","raw_affiliation_strings":["University of Salzburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Salzburg","institution_ids":["https://openalex.org/I182212641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001172270","display_name":"Aina Niemetz","orcid":"https://orcid.org/0000-0003-2600-5283"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Aina Niemetz","raw_affiliation_strings":["Johannes Kepler University Linz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002729618","display_name":"Mathias Preiner","orcid":"https://orcid.org/0000-0002-7142-6258"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mathias Preiner","raw_affiliation_strings":["Johannes Kepler University Linz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9058,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.84255006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"29","issue":null,"first_page":"28","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8396650552749634},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7093394994735718},{"id":"https://openalex.org/keywords/portfolio","display_name":"Portfolio","score":0.6096571683883667},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5163685083389282},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.43573081493377686},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.427558958530426},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.084464430809021}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8396650552749634},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7093394994735718},{"id":"https://openalex.org/C2780821815","wikidata":"https://www.wikidata.org/wiki/Q5340806","display_name":"Portfolio","level":2,"score":0.6096571683883667},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5163685083389282},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.43573081493377686},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.427558958530426},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.084464430809021},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","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":4,"locations":[{"id":"doi:10.29007/73n4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/73n4","pdf_url":"https://easychair.org/publications/open/nHs","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.379.3353","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.3353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://fmv.jku.at/papers/AignerBiereKirschNiemetzPreiner-POS13.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.640.5695","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.5695","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.easychair.org/publications/?page=2086767200","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.710.7046","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.710.7046","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uni-salzburg.at/%7Eck/content/publications/conferences/PoS13-AnalysisPortfolioSAT.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.29007/73n4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/73n4","pdf_url":"https://easychair.org/publications/open/nHs","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G4313426452","display_name":null,"funder_award_id":"S11404-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8488583251","display_name":null,"funder_award_id":"S11408-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2394726283.pdf","grobid_xml":"https://content.openalex.org/works/W2394726283.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W102778908","https://openalex.org/W117475319","https://openalex.org/W1480636508","https://openalex.org/W1496529478","https://openalex.org/W1518705996","https://openalex.org/W2027282006","https://openalex.org/W2076373700","https://openalex.org/W2092775861","https://openalex.org/W2103406309","https://openalex.org/W2190300204","https://openalex.org/W2299079197","https://openalex.org/W2407944098","https://openalex.org/W2735126411","https://openalex.org/W3023251567","https://openalex.org/W3117141964"],"related_works":["https://openalex.org/W2152099439","https://openalex.org/W1984163603","https://openalex.org/W3130422087","https://openalex.org/W3158538495","https://openalex.org/W3004195166","https://openalex.org/W1563139915","https://openalex.org/W2885669284","https://openalex.org/W4301184821","https://openalex.org/W2126310295","https://openalex.org/W4288413100"],"abstract_inverted_index":{"Effectively":[0],"parallelizing":[1],"SAT":[2],"solving":[3],"is":[4,13,77],"an":[5],"open":[6],"and":[7],"important":[8],"issue.":[9],"The":[10],"current":[11],"state-of-the-art":[12],"based":[14],"on":[15,21,25,110],"parallel":[16,46],"portfolios.":[17],"This":[18,58],"technique":[19],"relies":[20],"running":[22,72],"multiple":[23],"solvers":[24,52,123],"the":[26,36,50,81,86,111],"same":[27],"instance":[28,34],"in":[29],"parallel.":[30],"As":[31],"soon":[32],"one":[33,102,119],"finishes":[35],"entire":[37],"run":[38],"stops.":[39],"Several":[40],"succesful":[41],"systems":[42],"even":[43],"use":[44],"plain":[45],"portfolio":[47],"(PPP),":[48],"where":[49],"individual":[51],"do":[53],"not":[54,95],"exchange":[55],"any":[56],"information.":[57],"paper":[59,117],"contains":[60],"a":[61,125],"thorough":[62],"experimental":[63],"evaluation":[64],"which":[65],"shows":[66],"that":[67],"PPP":[68,122],"can":[69,84],"improve":[70],"wall-clock":[71],"time":[73],"because":[74],"memory":[75,82,89],"access":[76],"still":[78],"local,":[79],"respectively":[80],"system":[83],"hide":[85],"latency":[87],"of":[88,113],"access.":[90],"In":[91],"particular,":[92],"there":[93],"does":[94],"seem":[96],"as":[97,101],"much":[98],"cache":[99],"congestion":[100],"might":[103],"imagine.":[104],"We":[105],"also":[106],"present":[107],"some":[108],"limits":[109],"scalibility":[112],"PPP.":[114],"Thus":[115],"this":[116],"gives":[118],"argument":[120],"why":[121],"are":[124],"good":[126],"fit":[127],"for":[128],"todays":[129],"multi-core":[130],"architectures.":[131]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}