{"id":"https://openalex.org/W2602134373","doi":null,"title":"Approaches to grid-based SAT solving","display_name":"Approaches to grid-based SAT solving","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2602134373","mag":"2602134373"},"language":"en","primary_location":{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/896","doi":null,"is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/896","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/fcf1802d-ffab-4a3c-b995-af74b21cbfa9/download","source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"D4 Julkaistu kehitt\u00e4mis- tai tutkimusraportti taikka -selvitys"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://aaltodoc.aalto.fi/bitstreams/fcf1802d-ffab-4a3c-b995-af74b21cbfa9/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077642459","display_name":"Antti E. J. Hyv\u00e4rinen","orcid":"https://orcid.org/0000-0001-6672-5109","observed_orcids":["https://orcid.org/0000-0001-6672-5109"]},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Antti E. J. Hyv\u00e4rinen","raw_affiliation_strings":["Aalto Univ"],"raw_orcid":"https://orcid.org/0000-0001-6672-5109","affiliations":[{"raw_affiliation_string":"Aalto Univ","institution_ids":["https://openalex.org/I9927081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077642459"],"corresponding_institution_ids":["https://openalex.org/I9927081"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.6820999979972839,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.6820999979972839,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.26589998602867126,"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/T10142","display_name":"Formal Methods in Verification","score":0.002899999963119626,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-satisfiability","display_name":"propositional satisfiability","score":0.9290000200271606},{"id":"https://openalex.org/keywords/computational-grids","display_name":"computational grids","score":0.7789999842643738},{"id":"https://openalex.org/keywords/parallel-search","display_name":"parallel search","score":0.39899998903274536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7661323547363281},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.6115425825119019},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.5785470008850098},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5175049304962158},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5121269226074219},{"id":"https://openalex.org/C70429105","wikidata":"https://www.wikidata.org/wiki/Q249999","display_name":"Grid computing","level":3,"score":0.5103361010551453},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.47360658645629883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4534880518913269},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4317772388458252},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40235841274261475},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35372814536094666},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3200097680091858},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16818010807037354},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/896","doi":null,"is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/896","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/fcf1802d-ffab-4a3c-b995-af74b21cbfa9/download","source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"D4 Julkaistu kehitt\u00e4mis- tai tutkimusraportti taikka -selvitys"},{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/106673","doi":null,"is_oa":false,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/106673","pdf_url":null,"source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Licentiate thesis"},{"id":"mag:2602134373","doi":null,"is_oa":false,"landing_page_url":"http://lib.tkk.fi/Reports/2009/isbn9789512299430.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/896","doi":null,"is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/896","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/fcf1802d-ffab-4a3c-b995-af74b21cbfa9/download","source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"D4 Julkaistu kehitt\u00e4mis- tai tutkimusraportti taikka -selvitys"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2602134373.pdf","grobid_xml":"https://content.openalex.org/works/W2602134373.grobid-xml"},"referenced_works_count":110,"referenced_works":["https://openalex.org/W14839205","https://openalex.org/W18766686","https://openalex.org/W46044049","https://openalex.org/W47957325","https://openalex.org/W169672073","https://openalex.org/W193474923","https://openalex.org/W203746830","https://openalex.org/W207099696","https://openalex.org/W1261003326","https://openalex.org/W1489527380","https://openalex.org/W1493980144","https://openalex.org/W1494270745","https://openalex.org/W1507965739","https://openalex.org/W1513294700","https://openalex.org/W1515239800","https://openalex.org/W1518080134","https://openalex.org/W1518705996","https://openalex.org/W1526167226","https://openalex.org/W1530052040","https://openalex.org/W1540371190","https://openalex.org/W1541314589","https://openalex.org/W1551913526","https://openalex.org/W1554888792","https://openalex.org/W1555375604","https://openalex.org/W1561698823","https://openalex.org/W1568909857","https://openalex.org/W1589045411","https://openalex.org/W1590910789","https://openalex.org/W1591802374","https://openalex.org/W1654793027","https://openalex.org/W1663140555","https://openalex.org/W1667362966","https://openalex.org/W1672891595","https://openalex.org/W1732358269","https://openalex.org/W1812552228","https://openalex.org/W1845402743","https://openalex.org/W1929252444","https://openalex.org/W1970416898","https://openalex.org/W1976055110","https://openalex.org/W1980107758","https://openalex.org/W1981726327","https://openalex.org/W1982769241","https://openalex.org/W1983758948","https://openalex.org/W1983963066","https://openalex.org/W1986660301","https://openalex.org/W1995619750","https://openalex.org/W2004414305","https://openalex.org/W2011124182","https://openalex.org/W2022846948","https://openalex.org/W2023141722","https://openalex.org/W2023578426","https://openalex.org/W2029229881","https://openalex.org/W2036265926","https://openalex.org/W2039027656","https://openalex.org/W2044560939","https://openalex.org/W2046612382","https://openalex.org/W2048923623","https://openalex.org/W2050842068","https://openalex.org/W2057361103","https://openalex.org/W2059715946","https://openalex.org/W2062378406","https://openalex.org/W2062897452","https://openalex.org/W2074563411","https://openalex.org/W2076373700","https://openalex.org/W2079547519","https://openalex.org/W2080267935","https://openalex.org/W2085301456","https://openalex.org/W2092775861","https://openalex.org/W2095709533","https://openalex.org/W2096307462","https://openalex.org/W2103616991","https://openalex.org/W2104490983","https://openalex.org/W2107596368","https://openalex.org/W2108165346","https://openalex.org/W2114568665","https://openalex.org/W2118406528","https://openalex.org/W2119190805","https://openalex.org/W2120926795","https://openalex.org/W2123098314","https://openalex.org/W2130403783","https://openalex.org/W2130987249","https://openalex.org/W2131719221","https://openalex.org/W2132163328","https://openalex.org/W2133527541","https://openalex.org/W2135117708","https://openalex.org/W2135414548","https://openalex.org/W2137515104","https://openalex.org/W2138931563","https://openalex.org/W2142408995","https://openalex.org/W2142785340","https://openalex.org/W2144635724","https://openalex.org/W2147148915","https://openalex.org/W2148818117","https://openalex.org/W2151142272","https://openalex.org/W2152131859","https://openalex.org/W2152225273","https://openalex.org/W2153037302","https://openalex.org/W2154318861","https://openalex.org/W2155193279","https://openalex.org/W2156376751","https://openalex.org/W2158651374","https://openalex.org/W2158995961","https://openalex.org/W2160444875","https://openalex.org/W2161955265","https://openalex.org/W2166933164","https://openalex.org/W2171790376","https://openalex.org/W2322249124","https://openalex.org/W2509433508","https://openalex.org/W2776836749","https://openalex.org/W2914775474"],"related_works":["https://openalex.org/W7099795076","https://openalex.org/W2989933997","https://openalex.org/W7096630894","https://openalex.org/W186240733","https://openalex.org/W7095543018","https://openalex.org/W7100439852","https://openalex.org/W7099702913","https://openalex.org/W2182663882","https://openalex.org/W2229521842","https://openalex.org/W1981726327"],"abstract_inverted_index":{"In":[0],"this":[1,26,74,106,116],"work":[2,27,75,117,143,169,212,267],"we":[3],"develop":[4],"techniques":[5],"for":[6,70,84,174,216],"using":[7,184,218,294,308],"distributed":[8,33,71,260],"computing":[9,22,167,222],"resources":[10,23,223],"to":[11,30,45,62,199,225,246],"efficiently":[12,217,247,323],"solve":[13,200,226,248],"instances":[14,252,298,318],"of":[15,96,110,115,139,152,155,186,189,209,221,228,233,275],"the":[16,77,93,102,123,137,140,142,153,187,190,195,207,211,237,259,266,309,315],"propositional":[17],"satisfiability":[18],"problem":[19],"(SAT).":[20],"The":[21,87,112,178,231,242,289,304],"considered":[24],"in":[25,92,105,119,126,163,176,258,265,271,299,314,324,331],"are":[28,42,108,160,268,291],"assumed":[29],"be":[31,280,321,328],"geographically":[32],"and":[34,121,129,278],"connected":[35],"by":[36,253],"a":[37,51,63,81,97,145,156,272,300,332],"non-dedicated":[38],"network.":[39],"Such":[40],"systems":[41],"typically":[43],"referred":[44],"as":[46,80,101],"computational":[47],"grid":[48,146,157,276,302,333],"environments.\\n\\nThe":[49],"time":[50,192,197],"modern":[52],"SAT":[53,72,127,229,251,261,287,297,317],"solver":[54],"consumes":[55],"while":[56],"solving":[57,128,191],"an":[58,201,214],"instance":[59,202],"varies":[60],"according":[61],"random":[64,78],"distribution.":[65],"Unlike":[66],"many":[67,249],"other":[68],"methods":[69,88,263,290,312],"solving,":[73],"identifies":[76],"distribution":[79,188],"valuable":[82],"resource":[83],"solving-time":[85],"reduction.":[86],"which":[89,149,159,319],"use":[90],"randomness":[91],"run":[94],"times":[95],"search":[98],"algorithm,":[99],"such":[100],"ones":[103],"discussed":[104],"work,":[107,316],"examples":[109],"multi-search.":[111],"main":[113],"contribution":[114],"is":[118,181,203,244],"developing":[120],"analyzing":[122],"multi-search":[124,175],"approach":[125],"showing":[130],"its":[131],"efficiency":[132],"with":[133,283],"several":[134,151],"experiments.":[135],"For":[136],"purpose":[138],"analysis,":[141],"introduces":[144],"simulation":[147],"model":[148],"captures":[150],"properties":[154,185],"environment":[158],"not":[161],"observed":[162],"more":[164],"traditional":[165],"parallel":[166],"systems.\\n\\nThe":[168],"develops":[170],"two":[171],"algorithmic":[172,239],"frameworks":[173],"SAT.":[177],"first,":[179],"SDSAT,":[180,210],"based":[182],"on":[183,206],"so":[193],"that":[194,307],"expected":[196],"required":[198],"reduced.":[204],"Based":[205],"analysis":[208,232],"proposes":[213],"algorithm":[215],"large":[219],"number":[220],"simultaneously":[224],"collections":[227],"instances.":[230],"SDSAT":[234],"also":[235],"motivates":[236],"second":[238],"framework,":[240],"CL-SDSAT.":[241],"framework":[243],"used":[245,281],"industrial":[250],"carefully":[254],"combining":[255],"information":[256],"learned":[257],"solvers.\\n\\nAll":[262],"described":[264],"directly":[269],"applicable":[270],"wide":[273],"range":[274],"environments":[277],"can":[279,327],"together":[282],"virtually":[284],"unmodified":[285],"state-of-the-art":[286],"solvers.":[288],"experimentally":[292],"verified":[293],"standard":[295],"benchmark":[296],"production-level":[301],"environment.":[303,334],"experiments":[305],"show":[306],"relatively":[310],"simple":[311],"developed":[313],"cannot":[320],"solved":[322,330],"sequential":[325],"settings":[326],"now":[329]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2017-04-07T00:00:00"}